IMPROVING STRONG NEGATION

DOI10.1017/s1755020321000290OpenAlexW4206538313MaRDI QIDQ6051428

Satoru Niki

Publication date: 20 September 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020321000290

zbMATH Keywords

intuitionistic logicdouble negationstrong negationquasi-truthconnexive logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Connexive logic, connexivity, and connexivism: remarks on terminology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical negation and expansions of Belnap-Dunn logic
• Constructive negations and paraconsistency
• Semantical investigations in Heyting's intuitionistic logic
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic logic with strong negation
• Algebraic semantics for Nelson's logic \(\mathcal{S}\)
• A formalization of the propositional calculus of H-B logic
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Proof theory and algebra in logic
• Logics and falsifications. A new perspective on constructivist semantics
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• Towards a bridge over two approaches in connexive logic
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Pragmatic truth and approximation to truth
• Nelson’s logic 𝒮
• An alternative approach for quasi-truth
• Connexive implication
• A semantical study of constructible falsity
• Constructible falsity

This page was built for publication: IMPROVING STRONG NEGATION