Publications


Foundations

• Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti: A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic 30(1): 67-90 (1989)  (PDF)
• Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti: Some Results on Intermediate Constructive Logics. Notre Dame Journal of Formal Logic 30(4): 543-562 (1989) (PDF)