A Short Proof Of Representability Of Fork Algebras

Logic Journal of the IGPL 3 (5):791-796 (1995)
  Copy   BIBTEX

Abstract

In this paper a strong relation is demonstrated between fork algebras and quasi-projective relation algebras. With the help of the representation theorem of quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/3.5.791

Links

PhilArchive



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

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

Representability and program construction within fork algebras.M. Frias, A. Haeberer & G. Baum - 1998 - Logic Journal of the IGPL 6 (2):227-257.
Strong representability of fork algebras, a set theoretic foundation.I. Nemeti - 1997 - Logic Journal of the IGPL 5 (1):3-23.
A Finite Axiomatization For Fork Algebras.Marcelo Frias, Armando Haeberer & Paulo S. Veloso - 1997 - Logic Journal of the IGPL 5 (3):1-10.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Notions of density that imply representability in algebraic logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Relation algebras from cylindric and polyadic algebras.I. Nemeti & A. Simon - 1997 - Logic Journal of the IGPL 5 (4):575-588.
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.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Fork algebraic datatypes.P. Martínez López & G. Baum - 1998 - Logic Journal of the IGPL 6 (4):531-543.
Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
Existence of partial transposition means representability in cylindric algebras.Miklös Ferenczi - 2011 - Mathematical Logic Quarterly 57 (1):87-94.
On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras.Francesco Paoli, Antonio Ledda, Roberto Giuntini & Hector Freytes - 2009 - Reports on Mathematical Logic:31-63.

Analytics

Added to PP
2015-02-04

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
On eight independent equational axiomatisations for fork algebras.Paulo As Veloso - 1998 - Bulletin of the Section of Logic 27 (3):117-129.

Add more citations

References found in this work

No references found.

Add more references