Paolo Baldi

Room:
HF 04 13
Address:
Favoritenstrasse 9-11
Mail:
baldi@logic.at
Function:
Project Assistant

Research Interests

 

I am mainly interested in nonclassical logics, more specifically in the proof-theory and semantics of Mathematical Fuzzy Logic.

Current position

  • Post-doc researcher in the FWF project MoVaQu-MFL - Modeling Vague Quantifiers in Mathematical Fuzzy Logic  led by Prof. Christian Fermüller

Past positions

 


Publications

 

  • A Calculus for Rational Lukasiewicz Logic and Related Systems, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016).  pdf
  • Standard completeness: Proof-theoretic and algebraic methods, Phd Thesis, Vienna University of Technology, 2015. pdf
  • Standard completeness for uninorm-based logics.
    IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo (Canada).  (with A. Ciabattoni).  pdf
  • Uniform proofs of standard completeness for extensions of first-order 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): 1463-1470 (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 28-30, 2016.
  • Standard Completeness: Proof-theoretical 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 10-14, 2012.

Events

Member of the Local Organizing Committee of

  • Algebra and Coalgebra meet Proof Theory ALCOP 2016 , Vienna April 7-9, 2016
  • Logic, Algebra and Truth Degrees LATD 2014
  • Generalizations of Truth-functionality GetFun 2.0

The former two events were part of of the Vienna Summer of Logic (VSL) 2014