20410529 - LM510 - LOGICAL THEORIES 1

Address some questions of the theory of the proof of the twentieth century, in connection with the themes of contemporary research

MAIELI ROBERTO

teacher profile | teaching materials

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 LOGIC
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

Core Documentation

NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGE
https://sites.google.com/view/lm510/

Type of delivery of the course

LECTURES WITH EXERCISES

Type of evaluation

questions and exercises on the topics covered in class

MAIELI ROBERTO

teacher profile | teaching materials

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 LOGIC
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

Core Documentation

NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGE
https://sites.google.com/view/lm510/

Type of delivery of the course

LECTURES WITH EXERCISES

Type of evaluation

questions and exercises on the topics covered in class

MAIELI ROBERTO

teacher profile | teaching materials

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 LOGIC
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

Core Documentation

NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGE
https://sites.google.com/view/lm510/

Type of delivery of the course

LECTURES WITH EXERCISES

Type of evaluation

questions and exercises on the topics covered in class