The equational theories of representable residuated semigroups (Q514561): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(6 intermediate revisions by 6 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s11229-014-0513-3 / rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 08B20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6693204 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite axiomatizability | |||
Property / zbMATH Keywords: finite axiomatizability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
relation algebras | |||
Property / zbMATH Keywords: relation algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
residuation | |||
Property / zbMATH Keywords: residuation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free algebra | |||
Property / zbMATH Keywords: free algebra / rank | |||
Normal 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