RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794)
From MaRDI portal
scientific article; zbMATH DE number 5588687
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RELEVANCE LOGICS AND RELATION ALGEBRAS |
scientific article; zbMATH DE number 5588687 |
Statements
RELEVANCE LOGICS AND RELATION ALGEBRAS (English)
0 references
30 July 2009
0 references
relation algebra
0 references
relevance logic
0 references
substructural logic
0 references
dynamic semantics
0 references
ternary relational semantics
0 references
tableaux formalization
0 references
sequent calculus
0 references
