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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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.
Undecidable relativizations of algebras of relations.Szabolcs Mikulas & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.Robin Hirsch, Szabolcs Mikulás & Tim Stokes - 2022 - Logic Journal of the IGPL 30 (5):886-906.
Undecidability of Algebras of Binary Relations.Robin Hirsch, Ian Hodkinson & Marcel Jackson - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 267-287.
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
Distributed Relation Logic.Gerard Allwein, William L. Harrison & Thomas Reynolds - 2017 - Logic and Logical Philosophy 26 (1):19-61.

Analytics

Added to PP
2013-12-09

Downloads
165 (#140,524)

6 months
6 (#825,551)

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 24 references / Add more references