Beth's Semantic Tables for Some Non-classical Sentential Calculus

• Authors: Eugeniusz Żabski

Title variants

PL

Tablice semantyczne Betha dla pewnych nieklasycznych rachunków zdań

EN

Beth's Semantic Tables for Some Non-classical Sentential Calculus

• Languages of publication: PL

Abstracts

PL

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.

• Publisher: University of Warsaw, Institute of Philosophy
• Journal: Filozofia Nauki
• Year: 2014
• Volume: 22
• Issue: 2
• Pages: 55-72

Dates

published

2014-06-01

Contributors

author

Eugeniusz Żabski