Semi-implication: a chapter in universal logic

DOI10.1007/978-3-319-10193-4_3MaRDI QIDQ5258962zbMATH OpenOpenAlexFDO

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

Recommendations

• scientific article; zbMATH DE number 7325813
• On some semi-intuitionistic logics
• What is relevance logic?
• On semilattice relevant logics
• Implicational F-structures and implicational relevance logics

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 3200651 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A note on R-Mingle and Sobociński's three-valued logic
• Algebraic completeness results for R-mingle and its extensions
• Deducibility and many-valuedness
• Handbook of philosophical logic. Vol. 7
• Implicational F-structures and implicational relevance logics
• Linear logic
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• Relevant entailment—semantics and formal systems
• The classical constraint on relevance
• The connectives
• The semantics and proof theory of linear logic
• What is relevance logic?

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