BALDI, PAOLO
BALDI, PAOLO
DIPARTIMENTO DI STUDI UMANISTICI
A calculus for rational Łukasiewicz logic and related systems
2016-01-01 Baldi, P.
A logic-based tractable approximation of probability
2023-01-01 Baldi, P.; Hosni, H.
A note on standard completeness for some extensions of uninorm logic
2014-01-01 Baldi, P
Bilattice CADIAG-II: Theory and Experimental Results
2021-01-01 Baldi, P.; Ciabattoni, A.; Adlassnig, K. -P.
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
2020-01-01 Baldi, P.; Cintula, P.; Noguera, C.
Densification of FL chains via residuated frames
2016-01-01 Baldi, P; Terui, K
Depth-Bounded Approximations of Probability
2020-01-01 Baldi, P.; D'Agostino, M.; Hosni, H.
Depth-bounded Belief functions
2020-01-01 Baldi, P.; Hosni, H.
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games
2018-01-01 Baldi, P.; Fermuller, C. G.
Interview with Chris Fermueller
2019-01-01 Baldi, P.
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
2021-01-01 D'Asaro, F. A.; Baldi, P.; Primiero, G.
Logic-Based Approximations of Preferences
2023-01-01 Baldi, Paolo
Logical Approximations of Qualitative Probability
2021-01-01 Baldi, P.; Hosni, H.
On fuzzification mechanisms for unary quantification
2020-01-01 Baldi, Paolo.; Fermueller, Christian G; Hofer, Matthias
Probability and Degrees of Truth
2022-01-01 Baldi, P.; Hosni, H.
Standard completeness for extensions of IMTL
2017-01-01 Baldi, Paolo; Ciabattoni, Agata; Gulisano, Francesca
Standard completeness for extensions of MTL: An automated approach
2012-01-01 Baldi, P.; Ciabattoni, A.; Spendier, L.
Standard Completeness for Uninorm-Based Logics
2015-01-01 Baldi, P.; Ciabattoni, A.
Translating Classical Probability Logics into Modal Fuzzy Logics
2019-01-01 Baldi, P.; Cintula, P.; Noguera, C.
Uniform proofs of standard completeness for extensions of first-order MTL
2015-01-01 Baldi, P.; Ciabattoni, A.