Algebras of Relations and Relevance Logic |
| |
| Authors: | Mikulas Szabolcs |
| |
| Affiliation: | School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX, UK.
E-mail: szabolcs{at}dcs.bbk.ac.uk |
| |
| Abstract: | We prove that algebras of binary relations whose similaritytype includes intersection, composition, converse negation andthe identity constant form a non-finitely axiomatizable quasivarietyand that the equational theory is not finitely based. We applythis result to the problem of the completeness of relevant logicwith respect to binary relations. |
| |
| Keywords: | relevance logic completeness De Morgan monoids relation algebras finite axiomatizability |
| 本文献已被 Oxford 等数据库收录！ |
|
