Author of the publication

Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.

, , , and . CLA, volume 3308 of CEUR Workshop Proceedings, page 9-18. CEUR-WS.org, (2022)

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

Fuzzy Halpern and Shoham's interval temporal logics., , , , and . Fuzzy Sets Syst., (March 2023)Undecidability of Chop., , and . TIME, page 79-89. IEEE Computer Society, (2015)An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance., , and . PRICAI, volume 5351 of Lecture Notes in Computer Science, page 128-139. Springer, (2008)Galois Connections Between Unbalanced Structures in a Fuzzy Framework., , , and . IPMU (3), volume 1239 of Communications in Computer and Information Science, page 736-747. Springer, (2020)A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance., , and . CAEPIA, volume 4788 of Lecture Notes in Computer Science, page 210-219. Springer, (2007)An Approach to Fuzzy Modal Logic of Time Intervals., , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 696-703. IOS Press, (2020)Fast(er) Reasoning in Interval Temporal Logic., , and . CSL, volume 82 of LIPIcs, page 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the Complexity of Fragments of Horn Modal Logics., , and . TIME, page 186-195. IEEE Computer Society, (2016)Reasoning with Qualitative Velocity: Towards a Hybrid Approach., and . HAIS (1), volume 7208 of Lecture Notes in Computer Science, page 635-646. Springer, (2012)On the Commutative Diagrams Among Galois Connections Involved in Closure Structures., , , and . ICFCA, volume 13934 of Lecture Notes in Computer Science, page 49-63. Springer, (2023)