Unifiability and admissibility in finite algebras

&
In S. Barry Cooper (ed.), How the World Computes. pp. 485--495 (2012)
  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,139

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 the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph McKenzie - 2004 - Studia Logica 78 (1-2):293 - 320.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Common reasoning about admissibility.Cristina Bicchieri & Oliver Schulte - 1996 - Erkenntnis 45 (2-3):299 - 325.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
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.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.

Analytics

Added to PP
2014-01-28

Downloads
19 (#732,197)

6 months
3 (#760,965)

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