- Start
- Tableau Methods for Propositional Logic and Term Logic
Tableau Methods for Propositional Logic and Term Logic
Angebote / Angebote:
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.
Folgt in ca. 15 Arbeitstagen