Modalities in lattice-R

MaRDI QIDQ5099997FDOQ5099997

Authors: Katalin Bimbó, J. Michael Dunn 

Publication date: 26 August 2022

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

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)

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)