IMPROVING STRONG NEGATION

DOI10.1017/S1755020321000290MaRDI QIDQ6051428zbMATH OpenOpenAlexFDO

Authors 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 logicstrong negationquasi-truthconnexive logicdouble negation

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 3861121 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 7585730 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• scientific article; zbMATH DE number 3321232 (Why is no real title available?)
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• A formalization of the propositional calculus of H-B logic
• A semantical study of constructible falsity
• Algebraic semantics for Nelson's logic \(\mathcal{S}\)
• An alternative approach for quasi-truth
• Classical negation and expansions of Belnap-Dunn logic
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• Connexive implication
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive negation, implication, and co-implication
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic logic with strong negation
• Logics and falsifications. A new perspective on constructivist semantics
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Nelson's logic \(\mathcal{S}\)
• Pragmatic truth and approximation to truth
• Proof theory and algebra in logic
• Semantical investigations in Heyting's intuitionistic logic
• Towards a bridge over two approaches in connexive logic

Cited in

(5)

• Constructive predicate logic with strong negation and model theory
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Proof theory of abelian connexive logics
• A note on the historiography of pre-modern connexive logic
• Kamide is in America, Moisil and Leitgeb are in Australia

This page was built for publication: IMPROVING STRONG NEGATION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6051428)