Tableau Methods for Propositional Logic and Term Logic

lt;p>Tomasz Jarmuzek is a Professor at the Nicolaus Copernicus University in Torun. His activity concerns i.a. philosophical logic and its applications in philosophical problems. He is interested in metatheory, the use of binding and positional logic, and proof theory with emphasis on tableau methods.

lt;p>logic - logic of names - philosophical logic - proof theory - propositional logic - tableau methods