SAT-Based Decision Procedure for Analytic Pure Sequent Calculi

DOI10.1007/978-3-319-08587-6_6zbMath1433.03025OpenAlexW203477399MaRDI QIDQ3192182

Yoni Zohar, Ori Lahav

Publication date: 26 September 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_6

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ Taming Paraconsistent (and Other) Logics ⋮ Sequent systems for negative modalities ⋮ Proof theory for functional modal logic ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi

This page was built for publication: SAT-Based Decision Procedure for Analytic Pure Sequent Calculi