Tableau Methods for Propositional Logic and Term Logic
Jarmuzek, Tomasz
Tableau Methods for Propositional Logic and Term Logic ['Jarmuzek, Tomasz', 'Hartman, Jan'] - p.
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.
9783631846537
Tableau Methods for Propositional Logic and Term Logic ['Jarmuzek, Tomasz', 'Hartman, Jan'] - p.
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.
9783631846537
Réseaux sociaux