Elisa B. P. Tiezzi

According to our database, Elisa B. P. Tiezzi authored at least 5 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

A complete fuzzy logical system to deal with trust management systems.

Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi

Fuzzy Sets Syst., 2008

On Metric Temporal Lukasiewicz Logic.

Tommaso Flaminio, Elisa B. P. Tiezzi

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

2003

A Tableau Calculus for Hájek's Logic BL.

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

J. Log. Comput., 2003

2002

Investigations on Fragments of First Order Branching Temporal Logic.

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Math. Log. Q., 2002

2000

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Math. Log. Q., 2000