To introduce the students to some questions of the twentieth century proof-theory, relating them to contemporary research.
Curriculum
teacher profile teaching materials
B) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programme
A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
On line lecture notesType of delivery of the course
LecturesType of evaluation
Questions on main themes teacher profile teaching materials
B) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programme
A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
On line lecture notesType of delivery of the course
LecturesType of evaluation
Questions on main themes teacher profile teaching materials
B) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programme
A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
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
On line lecture notesType of delivery of the course
LecturesType of evaluation
Questions on main themes