Modelling uncertainty in nonclassical logics
Project Code: PNIIRUTE201440730
Contract no. 200/01/10/2015 financed by CNCS  UEFISCDI
Period: October 2015  September 2017
Abstract and expected results
Scientific report for 2015
Scientific report for 2016
Final scientific report (in Romanian)
Publications in Journals and Book Chapters
 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, 215228.
[preprint]
 S. Lapenta, I. Leustean, Notes on divisible MValgebras, Soft Computing, doi:10.1007/s005000162339z.
[arXiv]
 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
 D. Diaconescu,I.Leustean, Towards game semantics for nuanced logics, FUZZIEEE 2017, doi: 10.1109/FUZZIEEE.2017.8015600.
 D. Diaconescu, G. Metcalfe, L. Schnuriger, Axiomatizing a RealValued Modal Logic, Advances in Modal Logic, Volume 11 , College Publications, 2016, 236251.
[conference site]
arXive Preprints and Drafts
 S. Lapenta, I. Leustean, A general view on the algebraic semantics of Lukasiewicz logic with product, submitted.
[arXiv]
 D. Diaconescu, G. Metcalfe, L. Schnüriger, A realvalued modal logic, submitted, [arXiv].
 A. Di Nola, S. Lapenta, I. Leustean, An infinitary logic for basically disconnected compact Hausdorff spaces, submitted, [arXiv].
 P. Cintula, D. Diaconescu, Omitting types theorem for fuzzy logics, submitted.
 D. Cheptea, The reticulation of a hoop, 2016, draft.
 D. Cheptea, Central Lifting Properties for Bounded Hoops, 2017, draft.
 A. Sipos, Representable functions in Moisil logic, 2017, draft.
Habilitation Thesis
 I. Leustean, Topics in ManyValued Logics, to be defended in January 2017 [pdf]
Talks in Workshops/Conferences
 I. Leustean, Towards game semantics for nuanced logic, Magica 2016, September 2627, Milan,
Italy.
 D. Cheptea, Reticulation of the hoops, DACS 2016 , July 34, Bucharest, Romania.
 I. Leustean, An invitation to Moisil's logic, DACS 2016 , July 34, Bucharest, Romania.
 I. Leustean, On Lukasiewicz logic with scalar multiplication, Soft Computing Days 2016, May 2325, Salerno, Italy.
 D. Diaconescu,
Parallel Skolemization in substructural logics, ALCOP 2016, April 79, Vienna, Austria.
 A. Sipos, Representable functions in Moisil logic, FROM 2017, 58 Iulie, București, România.
 I. Leustean, Riesz spaces and their logic, Geometry and Non Classical Logics, 58 Septembrie 2017, Salerno, Italia.
 A. Sipos, Playing with the logic of Moisil: nuances, games and representations, BuCal 2017, 2526 Septembrie, București, România
 I.Leustean, Towards game semantics for nuanced logics, FUZZIEEE 2017, 912 Iulie, Napoli, Italia.
Talks in Seminars
 D. Diaconescu, Skolemization for Substructural Logics, Logic Seminar (IMAR/UB) June 9, 2016.
 I. Leustean, Finitely presented structures in Łukasiewicz logic, Logic Seminar (IMAR/UB) April 7, 2016.

