MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054)
From MaRDI portal
scientific article; zbMATH DE number 7576902
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE |
scientific article; zbMATH DE number 7576902 |
Statements
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (English)
0 references
29 August 2022
0 references
substructural logic
0 references
full Lambek calculus
0 references
simple extensions
0 references
residuated lattice
0 references
equational theory
0 references
word problem
0 references
decidability
0 references
0 references
