Semilinear substructural logics with the finite embeddability property

25 Apr 2018 Wang SanMin

In this paper, three semilinear substructural logics ULw, IULw and HpsUL*w are constructed. Then the completeness of ULw and IULw with respect to classes of finite UL and IUL-algebras, respectively, is proved... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC