Implication, Equivalence, and Negation

DOI10.21146/2074-1472-2021-27-1-31-45MaRDI QIDQ5059689zbMATH OpenOpenAlexFDO

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

biconditionalclassical propositional logicdeduction theoremsequivalenceimplicationnegationparaconsistent logicssemi-implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Paraconsistent and paracomplete basic logics without classical negation and some of their extensions
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• Symmetric and dual paraconsistent logics
• scientific article; zbMATH DE number 4128788
• Negation and paraconsistent logics

Cites work

• 2-element matrices
• Deductive completeness and conditionalization in systems of weak implication
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3200651 (Why is no real title available?)
• scientific article; zbMATH DE number 7325813 (Why is no real title available?)
• Linear logic
• Negation, material equivalence and conditioned nonconjunction: Completeness and duality
• Non-deterministic Multiple-valued Structures
• On negation: Pure local rules
• Semi-implication: a chapter in universal logic
• The semantics and proof theory of linear logic
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Theory of effective propositional paraconsistent logics

Cited in

(3)

• Basing sequent systems on exclusive-or
• Constructive negation, implication, and co-implication
• scientific article; zbMATH DE number 2109242 (Why is no real title available?)

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)