Tableau Methods for Propositional Logic and Term Logic

Name: Tableau Methods for Propositional Logic and Term Logic
Author: Tomasz Jarmużek
ISBN: 9783631833728

Tomasz JarmużekAuthor

Hardcover€67.95E-Book€60.95

Available nowFree shipping

By using these links, you support READO. We receive an affiliate commission without any additional costs to you.

Buy Now

About the book

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.

ISBN9783631833728

PublisherPeter Lang GmbH, Internationaler Verlag der Wissenschaften

Publication Date01/27/21

Pages228