Tableaux and dual tableaux: transformation of proofs

DOI10.1007/s11225-007-9055-8zbMath1125.03041OpenAlexW2035165256WikidataQ126244318 ScholiaQ126244318MaRDI QIDQ995673

Joanna Golińska-Pilarek, Ewa S. 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)

Related Items (5)

Dual tableau-based decision procedures for relational logics with restricted composition operator ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ 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

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• A proof system for contact relation algebras
• Untersuchungen über das logische Schliessen. I
• Correspondence results for relational proof systems with application to the Lambek calculus
• Rasiowa-Sikorski deduction systems in computer science applications.
• Socratic proofs for quantifiers
• Relational and Kleene-Algebraic Methods in Computer Science

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