Implicational F-structures and implicational relevance logics

DOI10.2307/2586570MaRDI QIDQ4508262zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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
• scientific article; zbMATH DE number 1778909 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)

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)