Priestley duality for paraconsistent Nelson's logic (Q708928)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Priestley duality for paraconsistent Nelson's logic	scientific article

Statements

scholarly article

Priestley duality for paraconsistent Nelson's logic (English)

Sergei P. Odintsov

publication date

15 October 2010

zbMATH Keywords

Nelson logic

Nelson algebra

\({{\mathbf {N4}^\perp}}\)-lattice

twist-structure

Priestley duality

Priestley space

Nelson space

paraconsistent logic

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1007/s11225-010-9274-2

The class of Kleene algebras satisfying an interpolation property and Nelson algebras

Coproducts of De Morgan algebras

On extensions of intermediate logics by strong negation

Constructible falsity

Algebraic Semantics for Paraconsistent Nelson's Logic

On the representation of \(\mathbf{N4}\)-lattices

The class of extensions of Nelson's paraconsistent logic

Constructive negations and paraconsistency

Representation of Distributive Lattices by means of ordered Stone Spaces

An algebraic approach to non-classical logics

Some investigations of varieties of \({\mathcal N}\)-lattices

Nelson algebras through Heyting ones. I

The Theory of Representation for Boolean Algebras

Topological representations of distributive lattices and Brouwerian logics

Notes on \(\eta\)-lattices and constructive logic with strong negation

Identifiers

zbMATH Open document ID

Mathematics Subject Classification ID

zbMATH DE Number

10.1007/S11225-010-9274-2

Sitelinks

Mathematics(1 entry)

mardi Publication:708928

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q708928&oldid=38210631"