Grant CNCS-UEFISCDI

Modelling uncertainty in non-classical logics

Project Code: PN-II-RU-TE-2014-4-0730

Contract no. 200/01/10/2015 financed by  CNCS - UEFISCDI

Period: October 2015 - September 2017

Host: University of Bucharest




Abstract and expected results

Scientific report for 2015

Scientific report for 2016

Final scientific report (in Romanian)


Publications in Journals and Book Chapters
  1.  S. Lapenta, I. Leustean,  A general view on normal form theorems for Lukasiewicz logic with product,
         in "Concepts of Proof in Mathematics, Philosophy and Computer Science", Dieter Probst and Peter Schuster (eds.). Ontos Mathematical Logic. Walter de Gruyter, Berlin, 2016,  215-228.
          [preprint]
  2.  S. Lapenta, I. Leustean,  Notes on divisible MV-algebras, Soft Computing, doi:10.1007/s00500-016-2339-z. [arXiv]
  3.  A. Di Nola, S. Lapenta, I. Leustean, An analysis of the logic of Riesz Spaces with strong unit, Annals of Pure and Applied Logic, doi: 10.1016/j.apal.2017.10.006 [arXiv].
Publications in Conference Proceedings
  1.  D. Diaconescu,I.Leustean, Towards game semantics for nuanced logics, FUZZ-IEEE 2017, doi: 10.1109/FUZZ-IEEE.2017.8015600.
  2.  D. Diaconescu, G. Metcalfe, L. Schnuriger, Axiomatizing a Real-Valued Modal Logic, Advances in Modal Logic, Volume 11 , College Publications, 2016, 236-251.
    [conference site]
arXive Preprints and Drafts
  1.  S. Lapenta, I. Leustean, A general view on the algebraic semantics of Lukasiewicz logic with product, submitted. [arXiv]
  2. D. Diaconescu, G. Metcalfe, L. Schnüriger, A real-valued modal logic,  submitted, [arXiv].
  3. A. Di Nola, S. Lapenta, I. Leustean, An infinitary logic for basically disconnected compact Hausdorff spaces, submitted,  [arXiv].
  4.  P. Cintula, D. Diaconescu, Omitting types theorem for fuzzy logics, submitted.
  5. D. Cheptea, The reticulation of a hoop, 2016, draft.
  6. D. Cheptea, Central Lifting Properties for Bounded Hoops, 2017, draft.
  7. A. Sipos, Representable functions in Moisil logic,  2017, draft.
Habilitation Thesis
  1. I. Leustean, Topics in Many-Valued Logics, to be defended in January 2017 [pdf]
Talks in Workshops/Conferences
  1. I. Leustean, Towards game semantics for nuanced logic, Magica 2016, September 26-27, Milan, Italy.
  2. D. Cheptea, Reticulation of the hoops, DACS 2016 , July 3-4, Bucharest, Romania.
  3. I. Leustean, An invitation to Moisil's logic, DACS 2016 , July 3-4, Bucharest, Romania.
  4. I. Leustean, On Lukasiewicz logic with scalar multiplication, Soft Computing Days 2016, May 23-25, Salerno, Italy.
  5. D. Diaconescu, Parallel Skolemization in substructural logics, ALCOP 2016, April 7-9, Vienna, Austria.
  6. A. Sipos, Representable functions in Moisil logic, FROM 2017, 5-8 Iulie, București, România.
  7. I. Leustean, Riesz spaces and their logic, Geometry and Non Classical Logics, 5-8 Septembrie 2017, Salerno, Italia.
  8. A. Sipos, Playing with the logic of Moisil: nuances, games and representations, BuCal 2017, 25-26 Septembrie, București, România
  9. I.Leustean, Towards game semantics for nuanced logics, FUZZ-IEEE 2017, 9-12 Iulie, Napoli, Italia.
Talks in Seminars
  1. D. Diaconescu, Skolemization for Substructural Logics, Logic Seminar (IMAR/UB) June 9, 2016.
  2. I. Leustean, Finitely presented structures in Łukasiewicz logic, Logic Seminar (IMAR/UB) April 7, 2016.