Address some questions of the theory of the proof of the twentieth century, in connection with the themes of contemporary research
Curriculum
teacher profile teaching materials
B) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programme
A) STRUCTURAL RULES INTERPRETED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
Core Documentation
NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGEhttps://sites.google.com/view/lm510/
Type of delivery of the course
LECTURES WITH EXERCISESType of evaluation
questions and exercises on the topics covered in class teacher profile teaching materials
B) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programme
A) STRUCTURAL RULES INTERPRETED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
Core Documentation
NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGEhttps://sites.google.com/view/lm510/
Type of delivery of the course
LECTURES WITH EXERCISESType of evaluation
questions and exercises on the topics covered in class teacher profile teaching materials
B) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programme
A) STRUCTURAL RULES INTERPRETED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
Core Documentation
NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGEhttps://sites.google.com/view/lm510/
Type of delivery of the course
LECTURES WITH EXERCISESType of evaluation
questions and exercises on the topics covered in class