Tablice semantyczne Betha dla pewnych nieklasycznych rachunków zdań

Abstrakt

In the paper the author presents a slightly modified Beth's method that helps to prove if a formula is or is not a tautology of the following non-classical sentential calculi: Łukasiewicz's three valued sentential calculus (Ł3), Priest's paradox logic (LP), and nihilistic sentential calculi: n'1, n'3, n'4, n'5.