Author:
Galatos Nikolaos,Ono Hiroakira
Reference41 articles.
1. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic;Abrusci;J. Symbolic Logic,1991
2. Algebraic aspects of cut elimination;Belardinelli;Studia Logica,2004
3. Algebraizable logics;Blok;Memoirs of the AMS,1989
4. On the finite embeddability property for residuated lattices, pocrims and BCK-algebras;Blok;Rep. Math. Logic,2000
5. The finite embeddability property for residuated lattices, pocrims and BCK-algebras;Blok;Algebra Universalis,2002
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献