Tableaux and dual tableaux: transformation of proofs

DOI10.1007/S11225-007-9055-8zbMATH Open1125.03041OpenAlexW2035165256WikidataQ126244318 ScholiaQ126244318MaRDI QIDQ995673FDOQ995673

Ewa Orłowska, Joanna Golińska-Pilarek

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

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The foundations of mathematics. A study in the philosophy of science
• Socratic proofs for quantifiers
• Rasiowa-Sikorski deduction systems in computer science applications.
• Title not available (Why is that?)
• A proof system for contact relation algebras
• Correspondence results for relational proof systems with application to the Lambek calculus
• Title not available (Why is that?)
• Relational and Kleene-Algebraic Methods in Computer Science

Cited In (10)

• 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
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• Title not available (Why is that?)
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• Title not available (Why is that?)
• Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles

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)