Paolo Baldi
Room:  HF 04 13  
Address:  Favoritenstrasse 911  
Mail:  baldi@logic.at  
Function:  Project Assistant 
Research Interests
I am mainly interested in nonclassical logics, more specifically in the prooftheory and semantics of Mathematical Fuzzy Logic.
Current position
 Postdoc researcher in the FWF project MoVaQuMFL  Modeling Vague Quantifiers in Mathematical Fuzzy Logic led by Prof. Christian Fermüller
Past positions
 PhD student in the Doctoral Programme Mathematical logic in Computer Science . Advisor: Prof. Agata Ciabattoni.
 Project assistant in the START project: Non classical proofs: theory, applications and tools led by Prof. Agata Ciabattoni.
 Visiting researcher at Academy of the Sciences of the Czech Republic  Insitute of Computer Science (October  December 2014)
Publications
 A Calculus for Rational Lukasiewicz Logic and Related Systems, International Conference on Information Processing and Management of Uncertainty in KnowledgeBased Systems (IPMU 2016). pdf
 Standard completeness: Prooftheoretic and algebraic methods, Phd Thesis, Vienna University of Technology, 2015. pdf

Standard completeness for uninormbased logics.
IEEE International Symposium on MultipleValued Logic (ISMVL 2015), Waterloo (Canada). (with A. Ciabattoni). pdf 
Uniform proofs of standard completeness for extensions of firstorder MTL.
Theoretical Computer Science (2015). (with A. Ciabattoni). pdf 
Densification of FL chains via residuated frames.
Algebra Universalis. (with K. Terui). pdf 
A note on standard completeness for some axiomatic extensions of uninorm logic.
Soft Computing. 18(8): 14631470 (2014). 
Standard Completeness for Extensions of MTL: an Automated Approach.
Workshop on Logic, Language, Information and Computation (WoLLIC 2012). (with A.Ciabattoni and L.Spendier).
Selected Talks
 Towards a proof theory for fuzzy quantifiers: a calculus for Rational Lukasiewicz Logic
Contributed Talk at Logic, Algebra and Truth Degress (LATD 2016), Phalaborwa , South Africa, June 2830, 2016.  Standard Completeness: Prooftheoretical and algebraic methods.
Phd Defence. Vienna, 12 August , 2015. pdf  Standard Completeness: a novel algebraic approach.
Workshop on admissible rules and Unification, II (WARU II) Les Diablerets, 30 January  2 February, 2015.  Standard Completeness for Extensions of MTL: an Automated Approach.
Contributed Talk at Logic, Algebra and Truth Degress (LATD 2012), Kanazawa , Japan, September 1014, 2012.
Events
Member of the Local Organizing Committee of
 Algebra and Coalgebra meet Proof Theory ALCOP 2016 , Vienna April 79, 2016
 Logic, Algebra and Truth Degrees LATD 2014
 Generalizations of Truthfunctionality GetFun 2.0
The former two events were part of of the Vienna Summer of Logic (VSL) 2014