Tableau Methods for Propositional Logic and Term Logic (Studies in Philosophy, History of Ideas and Modern Societies, Band 20) - Hardcover

Jarmużek

 
9783631833728: Tableau Methods for Propositional Logic and Term Logic (Studies in Philosophy, History of Ideas and Modern Societies, Band 20)
Hardcover
ISBN 10: 3631833725 ISBN 13: 9783631833728
Verlag: Peter Lang, 2021

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Peter Lang
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
3631833725
ISBN 13 
9783631833728
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
228
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland