We study algebras and phase spaces for linear logics, including non-associative, non-commutative, obeying Lambek’s restriction, and others. We prove some representation theorems: every algebra from the class corresponding to the given logic can be embedded in the algebra of facts of some phase space, even based on a free groupoid. Furthermore, the complete algebras are isomorphic to the algebras of facts of the corresponding phase spaces. At the end, we find some interpretation of cyclic linear negation in terms of syntactic concept lattices.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Algebras and Phase Spaces for Linear Logics

  • Wojciech Buszkowski

摘要

We study algebras and phase spaces for linear logics, including non-associative, non-commutative, obeying Lambek’s restriction, and others. We prove some representation theorems: every algebra from the class corresponding to the given logic can be embedded in the algebra of facts of some phase space, even based on a free groupoid. Furthermore, the complete algebras are isomorphic to the algebras of facts of the corresponding phase spaces. At the end, we find some interpretation of cyclic linear negation in terms of syntactic concept lattices.