Tableau Methods for Propositional Logic and Term Logic
Ebook
Buy Now
By using these links, you support READO. We receive an affiliate commission without any additional costs to you.
Description
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.
Book Information
Main Genre
Specialized Books
Sub Genre
Philosophy
Format
Ebook
Pages
228
Price
62.80 €
Description
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.
Book Information
Main Genre
Specialized Books
Sub Genre
Philosophy
Format
Ebook
Pages
228
Price
62.80 €