Finite quasivarieties and self-referential conditions

Studia Logica 78 (1-2):337-348 (2004)
  Copy   BIBTEX

Abstract

In this paper, we concentrate on finite quasivarieties (i.e. classes of finite algebras defined by quasi-identities). We present a motivation for studying finite quasivarieties. We introduce a new type of conditions that is well suited for defining finite quasivarieties and compare these new conditions with quasi-identities.

Categories

Keywords

Reprint years

2005

DOI

10.1007/s11225-005-7348-3

Links

PhilArchive



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

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

Finite quasivarieties and self-referential conditions.Alexei Vernitski - 2004 - Studia Logica 78 (1-2):337 - 348.
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.G. Barbour & J. Raftery - 2003 - Studia Logica 74 (1-2):99-152.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph Mckenzie - 2004 - Studia Logica 78 (1-2):293-320.
On quasivarieties and varieties as categories.Jiří Adámek - 2004 - Studia Logica 78 (1):7-33.
On quasivarieties and varieties as categories.Jiří Adámek - 2004 - Studia Logica 78 (1-2):7 - 33.
Quasivarieties of logic, regularity conditions and parameterized algebraization.G. D. Barbour & J. G. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.
Dominions in quasivarieties of universal algebras.Alexander Budkin - 2004 - Studia Logica 78 (1):107-127.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph McKenzie - 2004 - Studia Logica 78 (1-2):293 - 320.
Quasivarieties of cancellative commutative binary modes.K. Matczak & A. Romanowska - 2004 - Studia Logica 78 (1-2):321-335.
Algebraic theory of quasivarieties of heterogeneous partial algebras.Peter Burmeister - 2004 - Studia Logica 78 (1-2):129-153.
On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties.K. V. Adaricheva & V. A. Gorbunov - 2004 - Studia Logica 78 (1-2):35-44.
Dominions in quasivarieties of universal algebras.Alexander Budkin - 2004 - Studia Logica 78 (1-2):107 - 127.
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177-200.
On Finite Models of the Lambek Calculus.Maciej Farulewski - 2005 - Studia Logica 80 (1):63-74.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.

Analytics

Added to PP
2016-02-15

Downloads
10 (#1,193,699)

6 months
6 (#520,848)

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

No references found.

Add more references