Modalities in lattice-R

MaRDI QIDQ5099997zbMATH OpenFDO

Authors Katalin Bimbó, J. Michael Dunn

Publication date 26 August 2022

zbMATH Keywords

decidabilitylinear logicmodal logicrelevance logicsequent calculuses

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• The decidability of the intensional fragment of classical linear logic
• Decidability of linear affine logic
• The complexity of decision procedures in relevance logic II
• On the decidability of certain semi-lattice based modal logics
• Decision problems for propositional linear logic

This page was built for publication: Modalities in lattice-R

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