Equazioni logiche nel calcolo delle proposizioni.
Ettore Carruccio (1963)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ettore Carruccio (1963)
Bollettino dell'Unione Matematica Italiana
Similarity:
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.
Ettore Carruccio (1965)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ettore Carruccio (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
Stefano Aguzzoli (2000)
Bollettino dell'Unione Matematica Italiana
Similarity: