Calcoli generali con «tipi» e Logiche generalizzate
Piero Mangani (1984)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.