Double negation operator in logic N^*
From MaRDI portal
Publication:5741336
Recommendations
Cites work
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 4132132 (Why is no real title available?)
- scientific article; zbMATH DE number 3884136 (Why is no real title available?)
- scientific article; zbMATH DE number 3884137 (Why is no real title available?)
- scientific article; zbMATH DE number 3861121 (Why is no real title available?)
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
- Combining intuitionistic connectives and Routley negation
- Finite model property for negative modalities
- Glivenko theorem for \(N^\ast\)-extensions
- Models for normal intuitionistic modal logics
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- The Semantics of First Degree Entailment
Cited in
(8)- Paraconsistent double negation as a modal operator
- A semantic analysis of Stone and dual Stone negations with regularity
- Routley star and hyperintensionality
- Combining intuitionistic connectives and Routley negation
- Some modal operators over intuitionistic logic
- Composition of an intuitionistic negation and negative modalities as a necessity operator
- On classical behavior of intuitionistic modalities
- Double-negation elimination in some propositional logics
This page was built for publication: Double negation operator in logic \(N^*\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741336)
