Combining intuitionistic connectives and Routley negation

zbMath1329.68058MaRDI QIDQ890788

Sergei P. Odintsov

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye 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 in computer science (03B70) Other algebras related to logic (03G25) Logic programming (68N17)

Related Items (8)

Routley star and hyperintensionality ⋮ The Došen square under construction: a tale of four modalities ⋮ 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 ∗ ⋮ On Displaying Negative Modalities ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Some modal operators over intuitionistic logic

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