Saverio Cittadini

According to our database, Saverio Cittadini authored at least 8 papers between 1997 and 2006.

Collaborative distances:

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

2006

On pairs of free modules over a Dedekind domain.

Saverio Cittadini, Carlo Toffalori

Arch. Math. Log., 2006

2005

Normal Natural Deduction Proofs (in Non-classical Logics).

Wilfried Sieg, Saverio Cittadini

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2002

Comparing First Order Theories of Modules over Group Rings II: Decidability.

Saverio Cittadini, Carlo Toffalori

Math. Log. Q., 2002

Comparing First Order Theories of Modules over Group Rings.

Saverio Cittadini, Carlo Toffalori

Math. Log. Q., 2002

1999

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4.

Fabio Bellissima, Saverio Cittadini

Stud Logica, 1999

Finite Trees in Tense Logic.

Fabio Bellissima, Saverio Cittadini

Stud Logica, 1999

1998

Duality and Completeness for US-Logics.

Fabio Bellissima, Saverio Cittadini

Notre Dame J. Formal Log., 1998

1997

Minimal Axiomatization in Modal Logic.

Fabio Bellissima, Saverio Cittadini

Math. Log. Q., 1997