Classical negation can be expressed by one of its halves

DOI10.1093/jigpal/7.2.145zbMath0924.03012OpenAlexW3151018903MaRDI QIDQ4237677

Jean-Yves Béziau

Publication date: 15 November 1999

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

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

zbMATH Keywords

translationinterpretationdeviant logicextension of classical logic

Mathematics Subject Classification ID

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

Related Items (8)

Abstract valuation semantics ⋮ What is a logic translation? ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ 2002 Annual Conference of the Australasian Association for Logic ⋮ Non Truth-Functional Many-Valuedness ⋮ Notational variance and its variants ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

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