Implication, Equivalence, and Negation

DOI10.21146/2074-1472-2021-27-1-31-45OpenAlexW3198842576MaRDI QIDQ5059689

Arnon Avron

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-31-45

zbMATH Keywords

equivalenceimplicationclassical propositional logicnegationparaconsistent logicsdeduction theoremsbiconditionalsemi-implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Basing sequent systems on exclusive-or

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The semantics and proof theory of linear logic
• 2-element matrices
• Negation, material equivalence and conditioned nonconjunction: Completeness and duality
• Deductive completeness and conditionalization in systems of weak implication
• On negation: Pure local rules
• Handbook of philosophical logic. Vol. 6
• Non-deterministic Multiple-valued Structures
• Semi-implication: A Chapter in Universal Logic
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Implication, Equivalence, and Negation