Semi-implication: A Chapter in Universal Logic

DOI10.1007/978-3-319-10193-4_3zbMath1372.03024OpenAlexW93830430MaRDI QIDQ5258962

Arnon Avron

Publication date: 24 June 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10193-4_3

zbMATH Keywords

implicationclassical logicrelevance logicsdeduction theoremsbiconditionalsemi-implication

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Implication, Equivalence, and Negation ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Consequence Relations with Real Truth Values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is relevance logic?
• Linear logic
• The semantics and proof theory of linear logic
• Handbook of philosophical logic. Vol. 7
• The classical constraint on relevance
• A note on R-Mingle and Sobociński's three-valued logic
• Relevant entailment—semantics and formal systems
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• Implicational F-structures and implicational relevance logics
• Algebraic completeness results for R-mingle and its extensions
• Deducibility and many-valuedness

This page was built for publication: Semi-implication: A Chapter in Universal Logic