Workshop Logik, Sprachtheorie und Erkenntnistheorie

Date: 24-25 October 2017
Location: Department of Computer Science and Forum Scientiarum

 

Workshop in collaboration with the "Logik und Erkenntnistheorie" group of Ruhr-Universität-Bochum.

 

Tuesday, 24 October 2017, 15h30-20h, Department of Computer Science, Room 104, Sand 1:

  • Thomas Piecha (Tübingen): Intuitionistic logic is not complete for standard proof-theoretic semantics
  • Luca Tranchini (Tübingen): Yet another computational interpretation of classical logic
  • Paolo Maffezioli (Bochum): Intuitionistic​ ​extensional​ ​mereology
  • Grigory​ ​Olkhovikov (Bochum): Justification​ ​stit​ ​logics:​ ​a​ ​survey​ ​of​ ​results

 

Wednesday, 25 October 2017, 10-16h, Forum Scientiarum, Seminarraum 1.3, Doblerstraße 33:

  • Michael Arndt (Tübingen): Tomographs for Substructural Display Logic
  • Sergey​ ​Drobyshevich (Bochum): A​ ​Hilbert-style​ ​calculus​ ​that​ ​takes​ ​falsification​ seriously
  • Joao Marcos (Bochum): The mystery of duality unraveled: dualizing rules, operators, and logics
  • Daniel​ ​Skurt (Bochum): More modal semantics without possible worlds

 

Contact: Michael Arndt