Elisa B. P. Tiezzi

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Tommaso Flaminio, Elisa B. P. Tiezzi
On Metric Temporal Lukasiewicz Logic. Electron. Notes Theor. Comput. Sci. 246 (2009)
Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi
A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets Syst. 159 (10) (2008)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13 (2) (2003)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48 (1) (2002)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46 (2) (2000)