Classical negation can be expressed by one of its halves

DOI10.1093/JIGPAL/7.2.145MaRDI QIDQ4237677zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

deviant logicextension of classical logicinterpretationtranslation

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(9)

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

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)