Combining intuitionistic connectives and Routley negation

MaRDI QIDQ890788zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 16 November 2015

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL http://semr.math.nsc.ru/v7/p21-41.pdf

zbMATH Keywords

algebraic semanticsnegation as modalityHeyting-Ockham algebranegation in logic programmingRoutley semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 6290314
• Glivenko theorem for \(N^\ast\)-extensions
• Double negation operator in logic \(N^*\)
• Well-Founded and Partial Stable Semantics Logical Aspects
• Negation in the light of modal logic

Cited in

(10)

• Some modal operators over intuitionistic logic
• Routley star and hyperintensionality
• scientific article; zbMATH DE number 6131386 (Why is no real title available?)
• On displaying negative modalities
• Neighbourhood semantics for FDE-based modal logics
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• Double negation operator in logic \(N^*\)
• The Došen square under construction: a tale of four modalities
• Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?

This page was built for publication: Combining intuitionistic connectives and Routley negation

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