Principali registri pubblici
Vai alla navigazione
Vai alla ricerca
Presentazione unificata di tutti i registri di Wikipedia. È possibile restringere i criteri di ricerca selezionando il tipo di registro, l'utente che ha eseguito l'azione, e/o la pagina interessata (entrambi i campi sono sensibili al maiuscolo/minuscolo).
- 23:01, 24 set 2022 151.47.186.113 discussione ha creato la pagina Discussione:Logica dimostrativa (←Nuova pagina: {{tradotto da|en|Provability logic|10738024 luglio 2022|1073809950}} --~~~~) Etichetta: Nuovo argomento
- 22:57, 24 set 2022 151.47.186.113 discussione ha creato la pagina Logica dimostrativa (←Nuova pagina: La '''logica dimostrativa''' è una logica modale nella quale l'operatore di necessità è interpretato come "è dimostrabile che". Il punto è quello di catturare il predicato di prova di una teoria formale ragionevolmente ricca quale è l'aritmetica di Peano. ==Esempi== Esistono molteplici logiche dimostrative. Il sistema fondamentale è in genere chiamato '''GL''' (dalle iniziali di Gödel e ...) Etichetta: Link a pagina di disambiguazione
- 22:25, 24 set 2022 151.47.186.113 discussione ha creato la pagina Discussione:Logica modale normale (←Nuova pagina: {{tradotto da|en|Normal modal logic|15 maggio 2019|897207002}} --~~~~) Etichetta: Nuovo argomento