The Relevant Equivalence Property

DOI10.1093/jigpal/jzm005zbMath1128.03012OpenAlexW2112188845MaRDI QIDQ5435201

Lloyd Humberstone, Robert K. Meyer

Publication date: 14 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm005

zbMATH Keywords

relevancesubstructural logicsimplicational logics

Mathematics Subject Classification ID

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

Related Items (2)

A general characterization of the variable-sharing property by means of logical matrices ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

This page was built for publication: The Relevant Equivalence Property