Reading Group:
Topics on Non-Classical Logics
Previous years: Archive
All meetings are on Fridays: 15:00 – 16:45 at IIF-SADAF-CONICET
Chair: Bruno Da Ré
2023
| Date | Paper | Presented by |
|---|---|---|
| March 3rd | Barrio, E., Égré, P. Editorial Introduction: Substructural Logics and Metainferences. J Philos Logic 51, 1215–1231 (2022). |
Miguel Álvarez |
| March 10th | Ripley, D. One Step is Enough. J Philos Logic 51, 1233–1259 (2022). https://doi.org/10.1007/s10992-021-09615-7 |
Joaquín Toranzo Calderón |
| March 17th | Fitting, M. (2021). The Strict/Tolerant idea and bilattices. In Arnon Avron on Semantics and Proof Theory of Non-Classical Logics (pp. 167-191). Cham: Springer International Publishing. | Camillo Fiore |
| March 24th | The Day of Remembrance for Truth and Justice | |
| March 31st | Fjellstad, A. Metainferential Reasoning on Strong Kleene Models. J Philos Logic 51, 1327–1344 (2022). https://doi.org/10.1007/s10992-021-09627-3 |
Paula Teijeiro |
| April 7th | Easter holidays | |
| April 14th | McAllister, I. Classical Logic is not Uniquely Characterizable. J Philos Logic 51, 1345–1365 (2022). https://doi.org/10.1007/s10992-021-09633-5 |
Federico Pailos |
| April 21st | Workshop in Córdoba | |
| April 28th | Cobreros, P., La Rosa, E. & Tranchini, L. Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach. J Philos Logic 51, 1417–1452 (2022). https://doi.org/10.1007/s10992-021-09639-z |
Agustina Borzi |
| May 5th | Golan, R. Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates. J Philos Logic 51, 1295–1325 (2022). https://doi.org/10.1007/s10992-021-09616-6 |
Bruno Da Ré |
| May 12th | Porter, B. Supervaluations and the Strict-Tolerant Hierarchy. J Philos Logic 51, 1367–1386 (2022). https://doi.org/10.1007/s10992-021-09624-6 |
Paula Teijeiro |
| May 19th | Ferguson, T.M., Ramírez-Cámara, E. Deep ST. J Philos Logic 51, 1261–1293 (2022). https://doi.org/10.1007/s10992-021-09630-8 | Edson Bezerra |
| May 26th | Touristic Bridge | |
| June 2nd | Zardini, E. The Final Cut. J Philos Logic 51, 1583–1611 (2022). https://doi.org/10.1007/s10992-022-09682-4 |
Eliana Franceschini |
| June 9th | Přenosil, A. (2017). Cut elimination, identity elimination, and interpolation in super-Belnap logics. Studia Logica, 105(6), 1255-1289. (PART I) | Damián Szmuc |
| June 16th | Workshop BA-Logic – NUS | |
| June 23rd | Přenosil, A. (2017). Cut elimination, identity elimination, and interpolation in super-Belnap logics. Studia Logica, 105(6), 1255-1289. (PART II) | Damián Szmuc |
| June 30th | Incurvati, L., & Schlöder, J. J. Inferential Deflationism. Forthcoming in The Philosophical Review | Camila Gallovich |
| July 7th | Jean-Yves Girard. LINEAR LOGIC : ITS SYNTAX AND SEMANTICS |
Miguel Álvarez |
| July 14th | Fitting, M. A Family of Strict/Tolerant Logics. J Philos Logic 50, 363–394 (2021). https://doi.org/10.1007/s10992-020-09568-3 | Eliana Franceschini |
| July 21st | ||
| July 28th | CLMPST 2023 | |
| August 4th | WORKSHOP | |
| August 11th | Paoli, F., & Pra Baldi, M. (2020). Proof theory of paraconsistent weak Kleene logic. Studia Logica, 108, 779-802. | Agustina Borzi |
| August 18th | Field, H. (2022). The power of naive truth. The Review of Symbolic Logic, 15(1), 225-258. | Camillo Fiore |
| August 25th | Testa, R. R., Coniglio, M. E., & Ribeiro, M. M. (2017). AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25(4), 632-672. PART I | Daniel Grimaldi |
| September 1st | Testa, R. R., Coniglio, M. E., & Ribeiro, M. M. (2017). AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25(4), 632-672. PART II | Daniel Grimaldi |
| September 08th | Ribeiro, M. M., & Coniglio, M. E. (2012). Contracting logics. In Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings 19 (pp. 268-281). Springer Berlin Heidelberg. | Aylén Bavosa Castro |
| September 15th | Přenosil, A. (2023). The lattice of super-Belnap logics. The Review of Symbolic Logic, 16(1), 114-163. | Quentin Blomet |
| September 22nd | AFRA | |
| September 29th | French, R. (2019) Notational Variance and Its Variants Topoi 38 (2):321-331 | Federico Pailos |
| October 6th | TBA | Joaquín Toranzo |
| October 13th | Touristic Bridge | |
| October 20th | TBA | Edson Bezerra (in PUÁN) |
| October 27th | D’Agostino, M., & Solares-Rojas, A. (2022). Towards tractable approximations to many-valued logics: The case of first degree entailment. The Logica Yearbook 2021, 57-76. | Diego Tajer |
| November 3rd | Fischer, M., Halbach, V., Kriener, J., & Stern, J. (2015). Axiomatizing Semantic Theories of Truth? The Review of Symbolic Logic, 8(2), 257-278 | Camila Gallovich (in PUÁN) |
| November 10th | TBA | Lucas Rosenblatt |
| November 17th | TBA | Aylén Bavosa Castro |
| November 24th | WORKSHOP | |
| December 1st | TBA | Miguel Álvarez |
| December 08th | Touristic Bridge | |
| December 15th | TBA | Alejandro Solares-Rojas |
| December 22th | ||
| December 29th |