TY  - BOOK
AU  - Tomasz Jarmużek
PY  - 2021
CY  - Berlin, Germany
PB  - Peter Lang Verlag
SN  - 2191-1878
SN  - 9783631846537
TI  - Tableau Methods for Propositional Logic and Term Logic
DO  - 10.3726/b18008
UR  - https://www.peterlang.com/document/1117751
N2  - The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
KW  - logic, tableu methods, proof theory, philosophical logic, propositional logic, logic of names
LA  - English
ER  -