Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Ettore Carruccio (1965)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ettore Carruccio (1965)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ennio De Giorgi, Marco Forti, Giacomo Lenzi, Vincenzo Maria Tortorelli (1995)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
I primi elementi della sintassi e della semantica del Calcolo dei Predicati del primo ordine (predicati, proposizioni, formule, interpretazioni, ecc.) sono introdotti nell'ambiente delle teorie base dei Fondamenti della Matematica di [11]. Il problema della verità e falsità delle proposizioni è affontato introducendo, a fianco delle ordinarie qualità , , che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità , che, indipendenti dalle...
Angelo Caldarella (2009)
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana
Similarity:
Mario Dolcher (1949)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Sauro Tulipani (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Piero Mangani (1966)
Bollettino dell'Unione Matematica Italiana
Similarity:
Salvatore Siciliano (2005)
Bollettino dell'Unione Matematica Italiana
Similarity:
UMI (1951)
Bollettino dell'Unione Matematica Italiana
Similarity: