A non-finitely based quasi-variety of de Morgan algebras

&
Studia Logica 78 (1-2):237 - 248 (2004)
  Copy   BIBTEX

Abstract

In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras.

Categories

Keywords

Reprint years

2005

DOI

10.1007/s11225-005-7248-6

Links

PhilArchive



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

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 varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Applications of Priestley duality in transferring optimal dualities.Brian A. Davey & Miroslav Haviar - 2004 - Studia Logica 78 (1-2):213 - 236.
Classical Modal De Morgan Algebras.Sergio A. Celani - 2011 - Studia Logica 98 (1-2):251-266.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.

Analytics

Added to PP
2009-01-28

Downloads
22 (#708,419)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.

Add more citations

References found in this work

No references found.

Add more references