Author of the publication

Amalgamation through quantifier elimination for varieties of commutative residuated lattices.

. Arch. Math. Log., 51 (1-2): 15-34 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras., , and . Notre Dame J. Formal Log., 52 (4): 339-379 (2011)Lukasiewicz games., and . AAMAS, page 837-844. IFAAMAS/ACM, (2014)Extending possibilistic logic over Gödel logic., , and . Int. J. Approx. Reason., 52 (1): 63-75 (2011)A Logical Treatment of Possibilistic Conditioning.. ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 701-713. Springer, (2005)From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems., , , , , , , , , and 2 other author(s). CoRR, (2022)Ordered fields and LP 1/2 -algebras.. Soft Comput., 13 (6): 559-564 (2009)Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions., and . ACM Trans. Comput. Log., 16 (4): 33:1-33:44 (2015)Possibilistic conditioning framed in fuzzy logics.. Int. J. Approx. Reason., 43 (2): 133-165 (2006)Exploring Extensions of Possibilistic Logic over Gödel Logic., , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 923-934. Springer, (2009)Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence., , and . ECSQARU, volume 6717 of Lecture Notes in Computer Science, page 628-639. Springer, (2011)