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 -