About: Quasi-Nelson algebras are a non-involutive generalisation of Nelson algebras that can be characterised in several ways, e.g. as (i) the variety of bounded commutative integral (not necessarily involutive) residuated lattices that satisfy the Nelson identity; (ii) the class of (0, 1)-congruence orderable commutative integral residuated lattices; (iii) the algebraic counterpart of quasi-Nelson logic, i.e. the (algebraisable) extension of the substructural logic [Formula: see text] by the Nelson axiom. In the present paper we focus on the subreducts of quasi-Nelson algebras obtained by eliding the implication while keeping the two term-definable negations. These form a variety that (following A. Sendlewski, who studied the corresponding fragment of Nelson algebras) we dub weakly pseudo-complemented quasi-Kleene algebras. We develop a Priestley-style duality for these algebras (in two different guises) which is essentially an application of the general approach proposed in the paper A duality for two-sorted lattices by A. Jung and U. Rivieccio.   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
value
  • Quasi-Nelson algebras are a non-involutive generalisation of Nelson algebras that can be characterised in several ways, e.g. as (i) the variety of bounded commutative integral (not necessarily involutive) residuated lattices that satisfy the Nelson identity; (ii) the class of (0, 1)-congruence orderable commutative integral residuated lattices; (iii) the algebraic counterpart of quasi-Nelson logic, i.e. the (algebraisable) extension of the substructural logic [Formula: see text] by the Nelson axiom. In the present paper we focus on the subreducts of quasi-Nelson algebras obtained by eliding the implication while keeping the two term-definable negations. These form a variety that (following A. Sendlewski, who studied the corresponding fragment of Nelson algebras) we dub weakly pseudo-complemented quasi-Kleene algebras. We develop a Priestley-style duality for these algebras (in two different guises) which is essentially an application of the general approach proposed in the paper A duality for two-sorted lattices by A. Jung and U. Rivieccio.
Subject
  • Elementary algebra
  • Non-classical logic
  • Mathematical logic
  • Abstract algebra
  • Intuitionism
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software