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 |