Saverio Cittadini

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

Saverio Cittadini, Carlo Toffalori
On pairs of free modules over a Dedekind domain. Arch. Math. Log. 45 (1) (2006)
Wilfried Sieg, Saverio Cittadini
Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning (2005)
Saverio Cittadini, Carlo Toffalori
Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. 48 (1) (2002)
Saverio Cittadini, Carlo Toffalori
Comparing First Order Theories of Modules over Group Rings II: Decidability. Math. Log. Q. 48 (4) (2002)
Fabio Bellissima, Saverio Cittadini
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Stud Logica 62 (3) (1999)
Fabio Bellissima, Saverio Cittadini
Finite Trees in Tense Logic. Stud Logica 62 (2) (1999)
Fabio Bellissima, Saverio Cittadini
Duality and Completeness for US-Logics. Notre Dame J. Formal Log. 39 (2) (1998)
Fabio Bellissima, Saverio Cittadini
Minimal Axiomatization in Modal Logic. Math. Log. Q. 43 (1997)