Semi-implication: A Chapter in Universal Logic

DOI10.1007/978-3-319-10193-4_3zbMATH Open1372.03024OpenAlexW93830430MaRDI QIDQ5258962FDOQ5258962

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

relevance logicsimplicationclassical logicdeduction 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)

Cites Work

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

Cited In (4)

• Consequence Relations with Real Truth Values
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Title not available (Why is that?)
• Implication, Equivalence, and Negation

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

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