Revisiting constructive mingle: algebraic and operational semantics

MaRDI QIDQ5100013zbMATH OpenFDO

Authors Yale Weiss

Publication date 26 August 2022

zbMATH Keywords

bisemilatticesintuitionistic logicmingleoperational semanticsrelevance logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10)

Recommendations

• A constructive analysis of RM
• Operational semantics for positive R
• R-Mingle is Nice, and so is Arnon Avron
• Relevance and paraconsistency - a new approach. II: The formal systems
• Operational Semantics for Positive Relevant Logics Without Distribution

This page was built for publication: Revisiting constructive mingle: algebraic and operational semantics

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