Tableaux and dual tableaux: transformation of proofs

DOI10.1007/S11225-007-9055-8MaRDI QIDQ995673zbMATH OpenOpenAlexWikidataFDO

Authors Joanna Golińska-Pilarek, Ewa Orłowska

Publication date 10 September 2007

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-007-9055-8

zbMATH Keywords

first-order logic with identityRasiowa-Sikorski proof systemtableaux systems

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• Dual tableaux. Foundations, methodology, case studies
• scientific article; zbMATH DE number 446843
• scientific article; zbMATH DE number 1552522
• A tableau style proof system for two paraconsistent logics
• A tableau system of proof for predicate-functor logic with identity

Cites work

• scientific article; zbMATH DE number 3161194 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1086631 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A proof system for contact relation algebras
• Correspondence results for relational proof systems with application to the Lambek calculus
• Rasiowa-Sikorski deduction systems in computer science applications.
• Relational and Kleene-Algebraic Methods in Computer Science
• Socratic proofs for quantifiers
• Structural proof theory. With an appendix by Aarne Ranta
• The foundations of mathematics. A study in the philosophy of science
• Untersuchungen über das logische Schliessen. I

Cited in

(12)

• Dual tableaux. Foundations, methodology, case studies
• Theoretical Aspects of Computing – ICTAC 2005
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• Tableaus and dual Tableaus
• On quasitautologies
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• scientific article; zbMATH DE number 589111 (Why is no real title available?)
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• scientific article; zbMATH DE number 1543302 (Why is no real title available?)
• Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Tableaux and dual tableaux: transformation of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995673)