Pure sequent calculi. Analyticity and decision procedure

DOI10.1145/3319501zbMATH Open1433.03130OpenAlexW2949019224WikidataQ127791399 ScholiaQ127791399MaRDI QIDQ4972151FDOQ4972151

Authors: Ori Lahav, Yoni Zohar 

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3319501

Recommendations

• SAT-based decision procedure for analytic pure sequent calculi
• On the construction of analytic sequent calculi for sub-classical logics
• Sequent calculi and decision procedures for weak modal systems
• Proof analysis in modal logic
• Gentzen calculi for modal propositional logic

zbMATH Keywords

sequent calculianalyticitysubformula property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cited In (3)

• SAT-based decision procedure for analytic pure sequent calculi
• Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
• A simple sequent calculus for Angell's logic of analytic containment

This page was built for publication: Pure sequent calculi. Analyticity and decision procedure

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