On subvarieties of symmetric closure algebras

Annals of Pure and Applied Logic 108 (1-3):137-152 (2001)
  Copy   BIBTEX

Abstract

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(00)00043-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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.
Varieties of pseudocomplemented Kleene algebras.Diego Castaño, Valeria Castaño, José Patricio Díaz Varela & Marcela Muñoz Santis - 2021 - Mathematical Logic Quarterly 67 (1):88-104.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37-61.
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.
Functional representation of finitely generated free algebras in subvarieties of BL-algebras.Manuela Busaniche, José Luis Castiglioni & Noemí Lubomirsky - 2020 - Annals of Pure and Applied Logic 171 (2):102757.
Congruence Coherent Symmetric Extended de Morgan Algebras.T. S. Blyth & Jie Fang - 2007 - Studia Logica 87 (1):51-63.
Order in Implication Zroupoids.Juan M. Cornejo & Hanamantagouda P. Sankappanavar - 2016 - Studia Logica 104 (3):417-453.
The Lattice of Subvarieties of √′ quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37 - 61.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.

Analytics

Added to PP
2017-02-19

Downloads
4 (#1,642,858)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):565-573.
Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (6):565-573.

Add more references