Congruence Coherent Symmetric Extended de Morgan Algebras

&
Studia Logica 87 (1):51-63 (2007)
  Copy   BIBTEX

Abstract

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9076-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On subvarieties of symmetric closure algebras.J. P. Dı́az Varela - 2001 - Annals of Pure and Applied Logic 108 (1-3):137-152.
De Morgan Algebras with a Quasi-Stone Operator.T. S. Blyth, Jie Fang & Lei-bo Wang - 2015 - Studia Logica 103 (1):75-90.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Powerset residuated algebras.Mirosława Kołowska-Gawiejnowicz - 2014 - Logic and Logical Philosophy 23 (1):69-80.
Congruence properties of pseudocomplemented De Morgan algebras.Hanamantagouda P. Sankappanavar & Júlia Vaz de Carvalho - 2014 - Mathematical Logic Quarterly 60 (6):425-436.
Classical Modal De Morgan Algebras.Sergio A. Celani - 2011 - Studia Logica 98 (1-2):251-266.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
On Free De Morgan Algebras Over A Poset.Ana Suardiaz - 1991 - Reports on Mathematical Logic.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
A non-finitely based quasi-variety of de Morgan algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.

Analytics

Added to PP
2009-01-28

Downloads
38 (#408,165)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references