Investigations of proof theory and automated reasoning for non-classical logics

Cosimo Perini Brogi
2022-01-01

2022
Proof theory and applications, modal logic, intuitionistic logic, HOL Light, univalent reasoning
File in questo prodotto:
File Dimensione Formato  
phdunige_4615217.pdf

accesso aperto

Descrizione: Tesi PhD in Matematica e Applicazioni
Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 1.9 MB
Formato Adobe PDF
1.9 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/28778
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
social impact