Sulla potenza dell'insieme delle proposizioni di un dato sistema ipotetico-deduttivo
Ettore Carruccio (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Ettore Carruccio (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
Renato Bruni (2001)
Bollettino dell'Unione Matematica Italiana
Similarity:
Roberta Gori (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Maria Emilia Maietti (1999)
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.
Giovanni Giorgi (1948)
Bollettino dell'Unione Matematica Italiana
Similarity: