Now showing items 1-1 of 1
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 ...