Completeness in Finite Algebras with a Single Operation

&
Journal of Symbolic Logic 40 (1):98 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272296

Links

PhilArchive



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

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

-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
Finite Distributive Lattices As Sums Of Boolean Algebras.Jerzy Kotas & Piotr Wojtylak - 1995 - Reports on Mathematical Logic:35-40.
Independent Conditions for Completeness of Finite Algebras with a Single Generator.Peter Schofield - 1975 - Journal of Symbolic Logic 40 (1):98-98.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
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.
The tractarian operation N and expressive completeness.Leo K. C. Cheung - 2000 - Synthese 123 (2):247-261.
The Isomorphism Testing For Directly Representable Varieties.Tomasz Gorazd - 1997 - Reports on Mathematical Logic:75-92.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
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.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Finite, integral, and finite-dimensional relation algebras: a brief history.Roger D. Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
Boolean Algebras With A Distinguished Automorphism.M. Abad, J. P. D.\'{\I.}az Varela & M. Zander - 2003 - Reports on Mathematical Logic:101-112.

Analytics

Added to PP
2013-11-22

Downloads
23 (#644,212)

6 months
8 (#292,366)

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