The development of decidability proofs based on sequent calculi

MaRDI QIDQ5004947zbMATH OpenFDO

Authors Katalln Bimbó

Publication date 3 August 2021

zbMATH Keywords

Curry's lemmadecidabilityintuitionist logicKripke's lemmamodal logicrelevance logicsequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• On the decidability of certain semi-lattice based modal logics
• Sequent calculi and decidability for intuitionistic hybrid logic
• Decidability, introduction rules and automata
• The decidability of the intensional fragment of classical linear logic
• On decision procedures for sentential logics

Cited in

(6)

• On the decidability of certain semi-lattice based modal logics
• Decidability, introduction rules and automata
• Decidability and Specker sequences in intuitionistic mathematics
• scientific article; zbMATH DE number 5194318 (Why is no real title available?)
• Entailment, mingle and binary accessibility
• Sequent calculi and decidability for intuitionistic hybrid logic

This page was built for publication: The development of decidability proofs based on sequent calculi

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