Embedding theorems and finiteness properties for residuated structures and substructural logics
Paper 1. This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, i...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10413/446 |