Una teoria algebrica per i «guarded commands» di Dijkstra

Giorgio Casadei; Roberto Righi; Antonio G. B. Teolis

Displaying similar documents to “Una teoria algebrica per i «guarded commands» di Dijkstra”

Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.

Ettore Carruccio (1965)

Bollettino dell'Unione Matematica Italiana

Similarity:

Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica

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à $Q v e r$ , $Q f a l s$ , che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità $M v e r$ , $M f a l s$ che, indipendenti dalle...