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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Strong representability of fork algebras, a set theoretic foundation.I. Nemeti - 1997 - Logic Journal of the IGPL 5 (1):3-23.
Representability and program construction within fork algebras.M. Frias, A. Haeberer & G. Baum - 1998 - Logic Journal of the IGPL 6 (2):227-257.
A Finite Axiomatization For Fork Algebras.Marcelo Frias, Armando Haeberer & Paulo S. Veloso - 1997 - Logic Journal of the IGPL 5 (3):1-10.
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.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
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.
A representation theorem for measurable relation algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism.M. Frias & E. Orlowska - 1995 - Logique Et Analyse 150:151-152.
Weakly higher order cylindric algebras and finite axiomatization of the representables.I. Németi & A. Simon - 2009 - Studia Logica 91 (1):53 - 62.

Analytics

Added to PP
2015-02-04

Downloads
6 (#1,698,044)

6 months
3 (#1,477,354)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references