Double negation as minimal negation

DOI10.1007/s10849-023-09413-1OpenAlexW4388593575MaRDI QIDQ6190088

Satoru Niki

Publication date: 6 February 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-023-09413-1

zbMATH Keywords

double negationstrong negationcontradictionminimal logicnegation inconsistencydimathematism

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• A non-deterministic view on non-classical negations
• The class of extensions of Nelson's paraconsistent logic
• Constructivism in mathematics. An introduction. Volume II
• Paraconsistent double negations as classical and intuitionistic negations
• Subminimal negation
• Constructions and negationless logic
• Proof theory for positive logic with weak negation
• Proof theory and algebra in logic
• Bilattice Logics and Demi-Negation
• Constructible falsity and inexact predicates
• Kleene's Logic, Generalized
• Negation by iteration
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• Four-Valued Logics BD and DM4: Expansions
• Constructible falsity
• Intuitionistische Untersuchungen der formalistischen Logik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Double negation as minimal negation