Positive fragments of relevance logic and algebras of binary relations

&
Review of Symbolic Logic 4 (1):81-105 (2011)
  Copy   BIBTEX

Abstract

We prove that algebras of binary relations whose similarity type includes intersection, union, and one of the residuals of relation composition form a nonfinitely axiomatizable quasivariety and that the equational theory is not finitely based. We apply this result to the problem of the completeness of the positive fragment of relevance logic with respect to binary relations

Categories

Keywords

Reprint years

DOI

10.1017/s1755020310000249

Links

PhilArchive



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

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

Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
Undecidable relativizations of algebras of relations.Szabolcs Mikulás & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
An algebraic study of well-foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Binary Relations: Finite Characterizations and Computational Complexity. [REVIEW]Vicki Knoblauch - 2008 - Theory and Decision 65 (1):27-44.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.

Analytics

Added to PP
2013-12-09

Downloads
153 (#120,164)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.

View all 25 references / Add more references