Contributi di 151.47.186.113
Per 151.47.186.113 discussione blocchi registri
25 set 2022
- 00:0300:03, 25 set 2022 diff cron +16 Trinità →Voci correlate: Trialismo Etichette: Modifica da mobile Modifica da web per mobile
24 set 2022
- 23:0123:01, 24 set 2022 diff cron +185 N Discussione:Logica dimostrativa ←Nuova pagina: {{tradotto da|en|Provability logic|10738024 luglio 2022|1073809950}} --~~~~ Etichetta: Nuovo argomento
- 22:5722:57, 24 set 2022 diff cron +3 504 N 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:2522:25, 24 set 2022 diff cron +179 N Discussione:Logica modale normale ←Nuova pagina: {{tradotto da|en|Normal modal logic|15 maggio 2019|897207002}} --~~~~ attuale Etichetta: Nuovo argomento
- 22:2222:22, 24 set 2022 diff cron +2 Logica modale normale →Logiche modali normali più diffuse Etichette: Modifica da mobile Modifica da web per mobile
- 22:2122:21, 24 set 2022 diff cron −7 Logica modale normale →Logiche modali normali più diffuse Etichette: Modifica da mobile Modifica da web per mobile
13 dic 2014
- 15:0215:02, 13 dic 2014 diff cron +48 Raoul Bova →Curiosità Etichette: Modifica da mobile Modifica da web per mobile