Quasi-finitely characterizable and finitely characterizable Dedekind algebras

&
Bulletin of the Section of Logic 31 (2):145-157 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

A non-finitely based quasi-variety of de Morgan algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.
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.
Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.

Analytics

Added to PP
2014-01-18

Downloads
19 (#775,535)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references