Cover Image
Read Now

Tableau Methods for Propositional Logic and Term Logic

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.

Bibliographic Details
Main Author: Jarmużek, Tomasz
Format: eBook
Language:English
Published: Bern Peter Lang International Academic Publishers 2021
Series:Studies in Philosophy, History of Ideas and Modern Societies
Subjects:
Hartman
Logic
Jarmuzek
Tableau
Proof Theory
Gałecki
Logic Of Names
Tableu Methods
Formalization
Tomasz
Propositional
Methods
Leśniewicz
Iwona
Thema Editeur::q Philosophy And Religion::qd Philosophy
Logical
Łukasz
Philosophical Logic
Sentences
Propositional Logic
Term
Online Access:
Collection: Directory of Open Access Books - Collection details see MPG.ReNa
Description
Summary: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.
Item Description:Creative Commons (cc), https://creativecommons.org/licenses/by-nc-nd/4.0
Physical Description:1 electronic resource (228 p.)
ISBN:9783631846674
9783631846537
9783631846667
b18008
9783631833728

Similar Items