Double negation operator in logic N^*
From MaRDI portal
Publication:5741336
DOI10.1007/S10958-015-2254-3zbMATH Open1349.03011OpenAlexW2135923509MaRDI QIDQ5741336FDOQ5741336
Authors: Sergey Drobyshevich 
Publication date: 22 July 2016
Published in: Journal of Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-015-2254-3
Recommendations
Cites Work
- The Semantics of First Degree Entailment
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Models for normal intuitionistic modal logics
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
- Combining intuitionistic connectives and Routley negation
- Finite model property for negative modalities
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Glivenko theorem for \(N^\ast\)-extensions
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- Paraconsistent double negation as a modal operator
- 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
- A semantic analysis of Stone and dual Stone negations with regularity
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)
