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

Authors

  • Eugeniusz Żabski Institute of Psychology, University of Wrocław

Keywords:

Beth's semantic tables, tautology, Łukasiewicz's three valued sentential calculus, Priest's paradox logic, nihilistic sentential calculus, transformation rules

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.
20142.png

Downloads

Published

2014-06-01

How to Cite

Żabski, E. (2014). Beth’s Semantic Tables for Some Non-classical Sentential Calculus. The Philosophy of Science, 22(2), 55–72. Retrieved from https://fn.uw.edu.pl/index.php/fn/article/view/756

Issue

Vol. 22 No. 2 (2014): THE PHILOSOPHY OF SCIENCE

Section

Articles