Tablice semantyczne Betha dla pewnych nieklasycznych rachunków zdań

  • Eugeniusz Żabski Instytut Psychologii, Uniwersytet Wrocławski
Słowa kluczowe: Beth's semantic tables, tautology, Łukasiewicz's three valued sentential calculus, Priest's paradox logic, nihilistic sentential calculus, transformation rules

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.
Opublikowane
2014-06-01
Jak cytować
Żabski, E. (2014). Tablice semantyczne Betha dla pewnych nieklasycznych rachunków zdań. Filozofia Nauki, 22(2), 55-72.