Positive fragments of relevance logic and algebras of binary relations

Hirsch, R. and Mikulás, Szabolcs (2011) Positive fragments of relevance logic and algebras of binary relations. The Review of Symbolic Logic 4 (1), pp. 81-105. ISSN 1755-0203.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1017/S1755020310000249

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.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Administrator
Date Deposited:	11 Jun 2013 10:10
Last Modified:	09 Aug 2023 12:33
URI:	https://eprints.bbk.ac.uk/id/eprint/7437

Statistics

Archive Staff Only (login required)