|
|||||
|
|
Poset Products as Relational Models |
|
| Authors: | Fussner Wesley |
| Institution: | 1.Laboratoire J.A Dieudonné, Université C?te d’Azur, Parc Valrose, 06108, Nice Cedex 2, France ; |
| Abstract: | Studia Logica - We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |