Marie skłodowska-curie IF action : CLaVa

Clausal forms for Vague information processing

 

From 01/10/2021 I have been Marie Curie fellow under the project CLaVa. This is settled in the areas of mathematical logic, IA and computer science. It focuses on the understanding of the structure of the formulas in interesting and well-behaved fragments of many-valued logics, which offer a rich setting for managing graded and vague information. This will allow to characterize them in different ways (axiomatically, semantically) that have different benefits and study their behaviour in depth (regularity, potential for resolution-like algorithms, etc).

I have been working on the topic since then, and the following are scientific contributions derived up to now from this research.

  • I will give a talk at the TACL2024 conference (University of Barcelona, Spain, 1-5/06/2024) entitled "SAT-universal CNF for Lukasiewicz logic". I will speak about SAT-universal clausal forms and resolution for Lukasiewicz logic.
  • I will give an invited talk at the special session on Algebraic Logic at the ASL Annual Meeting (Iowa State University, Ames, USA, May 14–17, 2024) entitled "Modal fuzzy logics: general and standard semantics.". I will speak about standard and general completeness of the modal fragments of some many-valued FO logics, particularly showing decidability of the product case.
  • My coauthor S. Hanikova has presented our joint work "The MaxSAT Problem in the Real-Valued MV-Algebra" at the TABLEAUX 2024 confence (Czech Technical University in Prague, Czech Republic, September 18-21, 2023). It comprises studies on the reducion of clausal MAX-SAT to SAT in Lukasiewicz logic.
    The published open-access conference proceedings paper can be found here .
  • I have given an invited talk at the Logic, algebra and truth degrees conference (LATD) 2023, (Tblisi, Georgia, 11-15 September 2023), entitled "On the decidability of modal many-valued Logics.". I have presented some decidability results of the modal fragments of several many-valued FO logics.
  • I have given an invited talk at the DaLí: Dynamic Logic – New trends and applications workshop (Tblisi, Georgia,15-16 September 2023), entitled "Standard and general completeness of modal many-valued logics."It contained results concerning the characterization of modal fragments of FO fuzzy logics over the standard algebra [0,1] and over all linearly ordered algebras of the variety.
  • I have imparted an invited tutorial at the PhDs in logic conference (Granada, Spain, 4-6 October 2023), entitled "Modal fuzzy logics: diverging paths." This was a comprehensive approach to the decidability on the modal fragments of FO fuzzy logics.
  • In June 2023 have submitted a paper to the Annals of Pure and Applied Logic on the study of general and standard semantics of the modal fragment of several fuzzy FO logics, proving among other things the decidability of the product modal logic. You can find the preprint here .
  • I have imparted an invited talk at the Topology, Algebra and Categories in Logic (TACL) Conference 2022, 20-24 June 2022, Coimbra (Portugal), entitled "General and standard modal fuzzy logics". This does an exhaustive comparaison of the standard ([0,1] valued) and the general (chain valued) modal fragments of the three main FO fuzzy logics.
  • In November 2022, my paper "Clausal Forms in MaxSAT and MinSAT" has appeared pubblished in the International Journal of Computational Intelligence Systems . You can find the open-access paper here . It comprises an study of moving from non-clausal to clausal MaxSAT and MinSAT, and and algorithmic procedures to solve them.
  • In April 2022, my paper "Undecidability and non-axiomatizability of modal many-valued logics" has appeared pubblished in The Journal of Symbolic Logic. You can find it in open access here .