Subminimal negation

DOI10.1007/s00500-016-2391-8zbMath1396.03009OpenAlexW2914809917MaRDI QIDQ1699743

Almudena Colacito, Ana Lucia Vargas, Dick H. J. de Jongh

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2391-8

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (8)

Subminimal logics in light of Vakarelov's logic ⋮ Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ Paraconsistent logic and query answering in inconsistent databases ⋮ Proof theory for positive logic with weak negation ⋮ Double negation as minimal negation ⋮ Subintuitionistic logics and the implications they prove ⋮ A Kuroda-style \(j\)-translation ⋮ Subminimal negation on the Australian plan

Cites Work

• Unnamed Item
• Unnamed Item
• Negative translations not intuitionistically equivalent to the usual ones
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Constructivism in mathematics. An introduction. Volume II
• Duality between modal algebras and neighbourhood frames
• Universal models for the positive fragment of intuitionistic logic
• Compatible Functions in Algebras Associated to Extensions of Positive Logic
• Normal monomodal logics can simulate all others
• An algebraic approach to intuitionistic connectives
• Logics of Formal Inconsistency
• Substructural fuzzy logics
• Constructible falsity

This page was built for publication: Subminimal negation