Operational Semantics for Positive Relevant Logics Without Distribution

DOI10.1007/978-3-540-73001-9_34MaRDI QIDQ5425334zbMATH OpenOpenAlexFDO

Authors Ying Gao, Jingde Cheng

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_34

zbMATH Keywords

Operational semanticsRelevant logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Operational semantics for positive R
• scientific article; zbMATH DE number 4061202
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Semantics for a basic relevant logic with intensional conjunction and disjunction
• A contractionless semilattice semantics

Cited in

(3)

• scientific article; zbMATH DE number 4061202 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• Revisiting constructive mingle: algebraic and operational semantics

This page was built for publication: Operational Semantics for Positive Relevant Logics Without Distribution

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