Search this site
Skip to main content
Skip to navigation
Home page
The School
Description
Teachers & Speakers
Courses
About the Curry-Howard correspondence (Moriconi)
An introduction to type logical grammars (Catta)
Automated reasoning and proof-assistants (Koutsoukou-Argyraki
Dialogical logic, old and new (McConaughey)
Inferentialism and its problems (Cozzo)
Meaning explanations and dialogues (Klev)
Model-theoretic inferentialism and categoricity (Brîncus)
Proof-theoretic harmony (Pistone-Tranchini)
Invited Talks
Natural Deduction: the force of premises and conclusions (Pagin)
The ecumenical perspective in logic (Pereira)
Programme
Topics
Rules and models (Brîncus)
Proof-theoretical aspects of the Lambek calculus (Catta)
Meaning and inference (Cozzo)
Justifying elimination rules (Klev)
What, if anything, are meaning explanations good for? (Klev)
Archive of formal proofs (Koutsoukou-Argyraki)
Isabelle (Koutsoukou-Argyraki)
Aristotle’s logic from a dialogical perspective (McConaughey)
The dialogical framework (McConaughey)
Curry-Howard correspondence (Moriconi)
An intutionistic Sheffer's stroke (Pistone-Tranchini)
Paradox and normalisation failure (Pistone-Tranchini)
In Tübingen
Info about CoViD
Living Tübingen
Social Events
Venue & Accommodation
Contacts & Social
Home page
The School
Description
Teachers & Speakers
Courses
About the Curry-Howard correspondence (Moriconi)
An introduction to type logical grammars (Catta)
Automated reasoning and proof-assistants (Koutsoukou-Argyraki
Dialogical logic, old and new (McConaughey)
Inferentialism and its problems (Cozzo)
Meaning explanations and dialogues (Klev)
Model-theoretic inferentialism and categoricity (Brîncus)
Proof-theoretic harmony (Pistone-Tranchini)
Invited Talks
Natural Deduction: the force of premises and conclusions (Pagin)
The ecumenical perspective in logic (Pereira)
Programme
Topics
Rules and models (Brîncus)
Proof-theoretical aspects of the Lambek calculus (Catta)
Meaning and inference (Cozzo)
Justifying elimination rules (Klev)
What, if anything, are meaning explanations good for? (Klev)
Archive of formal proofs (Koutsoukou-Argyraki)
Isabelle (Koutsoukou-Argyraki)
Aristotle’s logic from a dialogical perspective (McConaughey)
The dialogical framework (McConaughey)
Curry-Howard correspondence (Moriconi)
An intutionistic Sheffer's stroke (Pistone-Tranchini)
Paradox and normalisation failure (Pistone-Tranchini)
In Tübingen
Info about CoViD
Living Tübingen
Social Events
Venue & Accommodation
Contacts & Social
More
Home page
The School
Description
Teachers & Speakers
Courses
About the Curry-Howard correspondence (Moriconi)
An introduction to type logical grammars (Catta)
Automated reasoning and proof-assistants (Koutsoukou-Argyraki
Dialogical logic, old and new (McConaughey)
Inferentialism and its problems (Cozzo)
Meaning explanations and dialogues (Klev)
Model-theoretic inferentialism and categoricity (Brîncus)
Proof-theoretic harmony (Pistone-Tranchini)
Invited Talks
Natural Deduction: the force of premises and conclusions (Pagin)
The ecumenical perspective in logic (Pereira)
Programme
Topics
Rules and models (Brîncus)
Proof-theoretical aspects of the Lambek calculus (Catta)
Meaning and inference (Cozzo)
Justifying elimination rules (Klev)
What, if anything, are meaning explanations good for? (Klev)
Archive of formal proofs (Koutsoukou-Argyraki)
Isabelle (Koutsoukou-Argyraki)
Aristotle’s logic from a dialogical perspective (McConaughey)
The dialogical framework (McConaughey)
Curry-Howard correspondence (Moriconi)
An intutionistic Sheffer's stroke (Pistone-Tranchini)
Paradox and normalisation failure (Pistone-Tranchini)
In Tübingen
Info about CoViD
Living Tübingen
Social Events
Venue & Accommodation
Contacts & Social
The School
Description
Teachers & Speakers
Courses
Invited Talks
Programme
Topics
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse