About
This edition of the Prague Seminar is devoted to work-in-progress talks on various aspects of paraconsistent logic.
Venue
The workshop will take place on Wednesday 1 February 2017 at the Institute of Computer Science, Czech Academy of Sciences, Prague. The talks will be delivered in room no. 318, 2nd floor (to the right of the stairs/elevator).
Schedule
10:00 - 11:30 Hitoshi Omori (Kyoto University): Sette, Jaśkowski, and beyond
11:30 - 13:00 Lunch break
13:00 - 13:45 Vít Punčochář (Czech Academy of Sciences): A relevant logic of questions.
13:45 - 14:30 Adam Přenosil (Czech Academy of Sciences): Four-valued clones from a logical perspective
14:30 - 14:45 Break
14:45 - 15:30 Ryosuke Igarashi (Kyoto University): Reconstruction of the principle of exposion via quasi-multiple-conclusion natural deduction
15:30 - 16:15 Ondrej Majer (Czech Academy of Sciences): Paraconsistent epistemic logic
16:15 - 16:30 Break
16:30 - 17:15 Igor Sedlár (Czech Academy of Sciences): Weak negation in public announcement logic
The abstracts can be downloaded here.
Funding
The workshop is partially supported by the Czech Academy of Sciences and the Japan Society for Promotion of Science (project JSPS-16-08 "Nonclassical Mathematics Based on Fuzzy, Paraconsistent and Substructural Logics".)Back to all events.