The meaning of proofs
Celebrating the World Logic Day 2022
Celebrating the World Logic Day 2022
In proof-theoretic semantics, the meaning of the logical constants can be specified by the inference rules that determine their correct use in proofs.
In proof-theoretic semantics, the meaning of the logical constants can be specified by the inference rules that determine their correct use in proofs.
This informal meeting aims at discussing the basics about logic, validity and proof systems.
This informal meeting aims at discussing the basics about logic, validity and proof systems.
Speakers
Speakers
Universität Tübingen
Stockholm University
PUC-Rio/UERJ
KTH Royal Institute of Technology
Ruhr-Universität Bochum
Universität Tübingen
14 January 2022
14 January 2022
13:00 (UTC)
13:00 (UTC)
The meeting will take place online (via Zoom). A link will be sent to the participants closer to the event.
Organizers
Organizers
David Pym
Elaine Pimentel
Contact: elaine[dot]pimentel[at]gmail[dot]com
Visit UNESCO’s World Logic Day website for further information about the initiative.