Combining intuitionistic connectives and Routley negation

zbMATH Open1329.68058MaRDI QIDQ890788FDOQ890788

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

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

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)

Cited In (10)

• Routley star and hyperintensionality
• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• The Došen square under construction: a tale of four modalities
• Double negation operator in logic \(N^*\)
• Some modal operators over intuitionistic logic
• Neighbourhood semantics for FDE-based modal logics
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• On displaying negative modalities
• Title not available (Why is that?)
• 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)