félig eldönthető

Rövid szöveges bemutatás: 
A logikai nyelvezeteket (egyszerű logika, elsőrendű logika, stb...) aszerint is osztályozzák, hogy teljes-e vagy csak eldönthető. Van egy köztes állapot is, ez a félig eldönthetőség. Egy logika félig eldönthető ha egy igaz állításról be tudjuk bizonyítani, hogy igaz, de egy hamis állítás hamisságát már nem tudjuk bebizonyítani. Egy logika akkor teljes ha minden igaz állítás bebizonyítható, és akkor eldönthető, ha egy állítás igaz és hamis értéke is bebizonyítható. Így a félig eldönthető logika pont a kettő között van, hiszen hamis állítást nem tudunk bizonyítani, de igazat igen.