Classical negation can be expressed by one of its halves

DOI10.1093/JIGPAL/7.2.145zbMATH Open0924.03012OpenAlexW3151018903MaRDI QIDQ4237677FDOQ4237677

Authors: Jean-Yves Béziau 

Publication date: 15 November 1999

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.2.145

Recommendations

• Negation by iteration
• Inverse negation and classical implicative logic
• scientific article; zbMATH DE number 859800

zbMATH Keywords

interpretationtranslationdeviant logicextension of classical logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (9)

• The algebra of opposition (and universal logic interpretations)
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Notational variance and its variants
• Classical negation and expansions of Belnap-Dunn logic
• Non Truth-Functional Many-Valuedness
• On non-deterministic functional completeness
• What is a logic translation?
• Abstract valuation semantics
• 2002 Annual Conference of the Australasian Association for Logic

This page was built for publication: Classical negation can be expressed by one of its halves

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