Implication, Equivalence, and Negation

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

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

equivalencenegationclassical propositional logicimplicationparaconsistent logicsdeduction theoremsbiconditionalsemi-implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (3)

• Constructive negation, implication, and co-implication
• Title not available (Why is that?)
• Basing sequent systems on exclusive-or

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

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