%0 Book
%A Tomasz Jarmużek
%D 2021
%C Berlin, Germany
%I Peter Lang Verlag
%@ 2191-1878
%@ 9783631846537
%T Tableau Methods for Propositional Logic and Term Logic
%U https://www.peterlang.com/document/1117751
%X 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.
%K logic, tableu methods, proof theory, philosophical logic, propositional logic, logic of names
%G English