Implicational F-structures and implicational relevance logics

DOI10.2307/2586570zbMATH Open0960.03017OpenAlexW2079412345MaRDI QIDQ4508262FDOQ4508262

Authors: 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

Recommendations

• Substructural implicational logics including the relevant logic E
• Completeness of implicational relevant logics
• scientific article; zbMATH DE number 1778909
• A new approach to classical relevance
• Intuitionism and relevance

zbMATH Keywords

intuitionistic logicclassical logicimplicational relevance logics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Implicational Logic, Relevance, and Refutability
• A dynamic characterization of the pure logic of relevant implication
• Intuitionism and relevance
• Fragments of R-mingle
• Title not available (Why is that?)
• The implicational nature of logic: A structuralist account
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
• Semi-implication: a chapter in universal logic
• Title not available (Why is that?)

This page was built for publication: Implicational F-structures and implicational relevance logics

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