Reading Group

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