Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Stefano Aguzzoli (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Displaying similar documents to “Teoria dei tipi di universi categoriali”
Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Il problema della decisione per teorie estensionali dell'appartenenza
Dorella Bellè (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Logiche modali con la proprietà del punto fisso
L. Sacchetti (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
We introduce various kinds of fixed-point properties for modal logics, and we classify the most prominent systems according to these. Our goal is to do a first step towards a complete characterization of provability logics of (possibly non standard) derivability predicates for Peano Arithmetic.
Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Roberta Gori (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
A proposito di alcune discussioni recenti sui problemi della logica deduttiva
Giovanni Giorgi (1948)
Bollettino dell'Unione Matematica Italiana
Similarity: