Pure sequent calculi. Analyticity and decision procedure

DOI10.1145/3319501MaRDI QIDQ4972151zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cited in

(3)

• Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
• SAT-based decision procedure for 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)