Paraconsistent Logic Pre-Conference Workshop
March 1, 2019,
Indian Institute of Technology Delhi, India.
The conference will be accompanied with two preconference workshops.
Organizers
Mihir Kr Chakraborty, Jadavpur University, India
mihirc4 AT gmail DOT com
Soma Dutta, University of Warmia and Mazury
somadutta9 AT gmail DOT com
Speakers
Mihir Kr Chakraborty (Jadavpur University, India)
Sourav Tarafdar (St. Xavier's College, Kolkata, India)
Sankha S. Basu (IIIT Delhi, India)
Workshop Schedule
| 1 March 2019 | |||||
| 09:00 - 09:05 | Introduction to the workshop | ||||
| 09:05 - 10:05 |
M.K. Chakraborty History, Philosophy and Logic [Slides] |
||||
| 10:05 - 10:30 | Break | ||||
| 10:30 - 11:30 |
M.K. Chakraborty History, Philosophy and Logic [Slides] |
||||
| 11:30 - 12:30 |
Sourav Tarafder Paraconsistent Set Theories [Slides] |
||||
| 12:30 - 14:00 | Lunch | ||||
| 14:00 - 15:00 |
Sourav Tarafder Paraconsistent Set Theories [Slides] |
||||
| 15:00 - 15:30 | Break | ||||
| 15:30 - 16:30 |
Sankha S. Basu Paraconsistent Arithmetic |
||||