Weakly associative relation algebras hold the key to the universe

Tomasz Kowalski

Weakly associative relation algebras hold the key to the universe

Tomasz Kowalski^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

9 Citations (SciVal)

Abstract

Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.

Original language	English
Pages (from-to)	145-157
Number of pages	13
Journal	Bulletin of the Section of Logic
Volume	36
Issue number	3-4
Publication status	Published - 2007

Cite this

@article{f3dc25720e2a44dfb03560edefec9ba7,

title = "Weakly associative relation algebras hold the key to the universe",

abstract = "Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.",

author = "Tomasz Kowalski",

year = "2007",

language = "English",

volume = "36",

pages = "145--157",

journal = "Bulletin of the Section of Logic",

issn = "0138-0680",

publisher = "Lodz University",

number = "3-4",

}

TY - JOUR

T1 - Weakly associative relation algebras hold the key to the universe

AU - Kowalski, Tomasz

PY - 2007

Y1 - 2007

N2 - Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.

AB - Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.

UR - https://www.scopus.com/pages/publications/65249146895

M3 - Article

SN - 0138-0680

VL - 36

SP - 145

EP - 157

JO - Bulletin of the Section of Logic

JF - Bulletin of the Section of Logic

IS - 3-4

ER -

Weakly associative relation algebras hold the key to the universe

Abstract

Other files and links

Fingerprint

Cite this