Tableau Methods for Propositional Logic and Term Logic
Regular price
€65.99
14 days return policy
Shipping & Delivery
A01=Tomasz Jarmuek
A01=Tomasz Jarmuzek
Age Group_Uncategorized
Age Group_Uncategorized
Author_Tomasz Jarmuek
Author_Tomasz Jarmuzek
automatic-update
B09=Jan Hartman
Category1=Non-Fiction
Category=HPL
Category=QD
COP=Switzerland
Delivery_Delivery within 10-20 working days
eq_isMigrated=2
eq_nobargain
Formalization
Language_English
PA=Available
Price_€50 to €100
PS=Active
softlaunch
Product details
- ISBN 9783631833728
- Weight: 369g
- Dimensions: 148 x 210mm
- Publication Date: 27 Jan 2021
- Publisher: Peter Lang AG
- Publication City/Country: CH
- Product Form: Hardback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
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.
Tomasz Jarmużek is a Professor at the Nicolaus Copernicus University in Toruń. His activity concerns i.a. philosophical logic and its applications in philosophical problems. He is interested in metatheory, the use of binding and positional logic, and proof theory with emphasis on tableau methods.
