Tablice semantyczne Betha dla pewnych nieklasycznych rachunków zdań
Beth’s Semantic Tables for Some Non-Classical Sentential Calculus
Author(s): Eugeniusz ŻabskiSubject(s): Philosophy
Published by: Uniwersytet Warszawski - Wydział Filozofii i Socjologii, Instytut Filozofii
Keywords: Beth’s semantic tables; tautology; Łukasiewicz’s three valued sentential calculus; Priest’s paradox logic; nihilistic sentential calculus; transformation rules
Summary/Abstract: 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.
Journal: Filozofia Nauki
- Issue Year: 22/2014
- Issue No: 2 (86)
- Page Range: 55-72
- Page Count: 18
- Language: Polish
