Author:
Düntsch Ivo,Orłowska Ewa,van Alten Clint
Funder
Natural Sciences and Engineering Research Council of Canada
Bulgarian National Fund of Science
Narodowe Centrum Nauki
Subject
Artificial Intelligence,Logic
Reference31 articles.
1. Solvable Cases of the Decision Problem;Ackermann,1954
2. The structure of residuated lattices;Blount;Int. J. Algebra Comput.,2003
3. Towards automating duality;Brink;Comput. Math. Appl.,1995
4. Completions in subvarieties of BL-algebras;Busaniche,2010
5. Priestley duality for some lattice-ordered algebraic structures including MTL, IMTL and MV-algebras;Cabrer;Cent. Eur. J. Math.,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献