Double Negation Operator in Logic N ∗

DOI10.1007/S10958-015-2254-3zbMath1349.03011OpenAlexW2135923509MaRDI QIDQ5741336

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

zbMATH Keywords

modal logicKripke semanticsintuitionistic logicnecessityconstructive propertiesRoutley negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Routley star and hyperintensionality ⋮ On classical behavior of intuitionistic modalities ⋮ Some modal operators over intuitionistic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Combining intuitionistic connectives and Routley negation
• Glivenko theorem for \(N^\ast\)-extensions
• Finite model property for negative modalities
• Models for normal intuitionistic modal logics
• The Semantics of First Degree Entailment

This page was built for publication: Double Negation Operator in Logic N ∗