Tableau Methods for Propositional Logic and Term Logic

Tomasz Jarmużek is a Professor at the Nicolaus Copernicus University in Toruń. 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.

• logic – logic of names – philosophical logic – proof theory – propositional logic – tableau methods