Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Poloni, Giulia (2017) Ricerca della derivazione in logica proposizionale ntuizionista. [Magistrali biennali]

Per questo documento il full-text online non disponibile.

Abstract

È ben noto che la logica intuizionista proposizionale ammette un algoritmo di decisione sulla derivabilità o meno dei suoi sequenti. Non tutti i calcoli dei sequenti, per esempio il calcolo di Gentzen, permettono di decidere se un sequente è derivabile o meno. Un calcolo che ammette un algoritmo di decisione è G3ip, che è ottenuto da quello di Gentzen con piccole variazioni, ma il suo algoritmo di decisione per stabilire la derivabilità di un sequente è non lineare e ammette ''loop'', ovvero ripetizioni all'infinito di pezzi di derivazioni, che lo rendono poco efficiente. Nella tesi considereremo un calcolo, denominato G4ip che, pur essendo più complesso nella struttura delle sue regole, ha il vantaggio di ammettere un algoritmo di decisione lineare, che ci permette di concludere più velocemente le dimostrazioni, senza bisogno di riconoscere i ''loop''..

Item Type:Magistrali biennali
Corsi di Diploma di Laurea:Scuola di Scienze > Matematica
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:56280
Relatore:Maietti , Maria Emilia
Data della tesi:21 July 2017
Biblioteca:Polo di Scienze > Biblioteca di Matematica

Solo per lo Staff dell Archivio: Modifica questo record