A Finite Axiomatization For Fork Algebras

, &
Logic Journal of the IGPL 5 (3):1-10 (1997)
  Copy   BIBTEX

Abstract

Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/5.3.1

Links

PhilArchive



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

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

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.
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 Short Proof Of Representability Of Fork Algebras.Viktor Gyuris - 1995 - Logic Journal of the IGPL 3 (5):791-796.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
On finite and infinite fork algebras and their relational reducts.Paulo As Veloso - 1996 - Logique Et Analyse 39 (154):35-50.
Algebraically closed MV-algebras and their sheaf representation.Antonio Di Nola, Anna R. Ferraioli & Giacomo Lenzi - 2013 - Annals of Pure and Applied Logic 164 (3):349-355.
Fork algebraic datatypes.P. Martínez López & G. Baum - 1998 - Logic Journal of the IGPL 6 (4):531-543.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
On the independence of the axioms for fork algebras.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (4):197-209.

Analytics

Added to PP
2015-02-04

Downloads
14 (#986,446)

6 months
4 (#778,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references