Implicational F-structures and implicational relevance logics

DOI10.2307/2586570zbMath0960.03017OpenAlexW2079412345MaRDI QIDQ4508262

Arnon Avron

Publication date: 14 January 2001

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

Full work available at URL: https://doi.org/10.2307/2586570

zbMATH Keywords

intuitionistic logicclassical logicimplicational relevance logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Fragments of R-mingle ⋮ Semi-implication: A Chapter in Universal Logic

Cites Work

• A structurally complete fragment of relevant logic
• Multiplicative Conjunction as an Extensional Conjunction
• A constructive analysis of RM
• On Entailment
• Algebraic completeness results for R-mingle and its extensions
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic