Cargando…
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras
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 order...
Autores principales: | Rivieccio, Umberto, Jansana, Ramon, Nascimento, Thiago |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7274691/ http://dx.doi.org/10.1007/978-3-030-50153-2_47 |
Ejemplares similares
-
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
por: Kappé, Tobias, et al.
Publicado: (2020) -
Pseudo-Weak-R
(0) Algebras
por: Liu, Yong Lin, et al.
Publicado: (2014) -
The Axioms Independence of Pseudo-Weak-R
(0) Algebras and Filters
por: Liu, Yong Lin
Publicado: (2014) -
A general algebraic semantics for sentential logics
por: Font, Josep Maria, et al.
Publicado: (2017) -
Heyting algebras: duality theory
por: Bezhanishvili, Guram, et al.
Publicado: (2019)