Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi

DOI10.1007/978-3-319-40229-1_33zbMath1475.68454OpenAlexW2477099428MaRDI QIDQ2817945

Anna Zamansky, Yoni Zohar

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_33

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT

Uses Software

• MUltlog
• Sat4j
• LoTREC
• NESCOND
• MetTeL
• Gen2sat
• KEMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient reasoning with inconsistent information using C-systems
• Gentzen-type systems, resolution and tableaux
• Basic primal infon logic
• Tools for the Investigation of Substructural and Paraconsistent Logics
• SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
• NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
• Automated Support for the Investigation of Paraconsistent and Other Logics
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Logics of Formal Inconsistency
• Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic
• Automated Reasoning with Analytic Tableaux and Related Methods

This page was built for publication: Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi