IMPROVING STRONG NEGATION
From MaRDI portal
Publication:6051428
DOI10.1017/s1755020321000290OpenAlexW4206538313MaRDI QIDQ6051428
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
Related Items (1)
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
