Priestley duality for paraconsistent Nelson's logic
type: Item
instance of: scholarly article
title: Priestley duality for paraconsistent Nelson's logic
zbMATH Open document ID: 1207.03036
author: S. P. Odintsov
published in: Studia Logica
publication date: 2010-10-15T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 5800413
zbMATH Keywords: Nelson logic
zbMATH Keywords: Nelson algebra
zbMATH Keywords: \({{\mathbf {N4}^\perp}}\)-lattice
zbMATH Keywords: twist-structure
zbMATH Keywords: Priestley duality
zbMATH Keywords: Priestley space
zbMATH Keywords: Nelson space
zbMATH Keywords: paraconsistent logic
MaRDI profile type: Publication
full work available at URL: s11225-010-9274-2
OpenAlex ID: W2055054170
cites work: The class of Kleene algebras satisfying an interpolation property and Nelson algebras
cites work: Coproducts of De Morgan algebras
cites work: Q4187871
cites work: Q4530231
cites work: On extensions of intermediate logics by strong negation
cites work: Q5736159
cites work: Constructible falsity
cites work: Algebraic Semantics for Paraconsistent Nelson's Logic
cites work: On the representation of \(\mathbf{N4}\)-lattices
cites work: The class of extensions of Nelson's paraconsistent logic
cites work: Constructive negations and paraconsistency
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Q3222242
cites work: An algebraic approach to non-classical logics
cites work: Q5184954
cites work: Some investigations of varieties of \({\mathcal N}\)-lattices
cites work: Nelson algebras through Heyting ones. I
cites work: The Theory of Representation for Boolean Algebras
cites work: Topological representations of distributive lattices and Brouwerian logics
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
DOI: 10.1007/S11225-010-9274-2
description: scientific article; zbMATH DE number 5800413