The equational theories of representable residuated semigroups (Q514561): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s11229-014-0513-3 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093861459 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4085699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4297115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lambek calculus and its relational semantics: Completeness and incompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated Kleene Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Mathematics of Sentence Structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On representable ordered residuated semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lower semilattice-ordered residuated semigroups and substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4287490 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S11229-014-0513-3 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:00, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The equational theories of representable residuated semigroups |
scientific article |
Statements
The equational theories of representable residuated semigroups (English)
0 references
9 March 2017
0 references
finite axiomatizability
0 references
relation algebras
0 references
residuation
0 references
free algebra
0 references