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é

2024

Date Paper Presented by
March 01st Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 1 to 1.7. Agustina Borzi
March 08th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 1.7 to 2 Camillo Fiore
March 15th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 2 to 2.4. Aylén Bavosa Castro
March 22nd Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 2.4 to 2.5. Federico Pailos
March 29th Holidays  
April 05th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 2.5 to 3 Jonathan Erenfryd
April 12th Resumen  
April 19th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 3 to 3.5. Damián Szmuc
April 26th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 3 to 3.5. Damián Szmuc
May 3rd Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 4 to 4.4.
Juan Manuel Gagino-Di Leo
May 10th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 4.5 to 4.7.
Edson Bezerra
May 17th II Workshop on Logic and Philosophy of Logic
 
May 24th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 4.7. to 4.8. Miguel Álvarez Lisboa
May 31st Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 5.1. to 5.2. Joaquín Toranzo Calderón
June 7th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 5.2. to 5.4. Camila Gallovich
June 14th Indrzejczak, A. (2021). Sequents and trees. Studies in Universal Logic, Birkhäuser, Cham. Sect. 5.4… Paula Teijeiro
June 21st Holidays  
June 28th Discussions around Sequents and Trees  
July 05th SLALM  
July 12th Double WIP  
July 19th Winter School  
July 26th
XIII Workshop on Philosophical Logic 
 
August 02nd XIII Workshop on Philosophical Logic   
August 09th Winter School  
August 16th Introduction to Suszko’s problem. Suszko, R. (1977). The Fregean axiom and Polish mathematical logic in the 1920s. Studia Logica: An International Journal for Symbolic Logic36(4), 377-380. Bruno Da Ré
August 23rd Caleiro, C., Marcos, J., & Volpe, M. (2015). Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science603, 84-110. Martina Zirattu
August 30th Wansing, H., & Shramko, Y. (2008). Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica88, 405-429. Nicolò Zamperlin
September 6th Blasio, C., Marcos, J., & Wansing, H. (2017). An Inferentially Many-Valued Two-Dimensional Notion of Entailment. Bulletin of the Section of Logic46(3/4). Joaquín Toranzo Calderón
September 13th Chemla, E., & Egré, P. (2019). Suszko’s problem: Mixed consequence and compositionality. The Review of Symbolic Logic12(4), 736-767. Quentin Blomet
September 20th Saul A Kripke, The Question of Logic, Mind, Volume 133, Issue 529, January 2024, Pages 1–36, https://doi.org/10.1093/mind/fzad008 José Alejandro Fernandez Cuesta
September 27th Garson, J. W. (2013). What logics mean: from proof theory to model-theoretic semantics. Cambridge University Press. Ch. 1 Alejandro Solares-Rojas
October 04th Garson, J. W. (2013). What logics mean: from proof theory to model-theoretic semantics. Cambridge University Press. Ch. 2 to 4 Agustina Borzi
October 11th Holidays  
October 18th Garson, J. W. (2013). What logics mean: from proof theory to model-theoretic semantics. Cambridge University Press. Ch. 5 and 11 Paula Teijeiro
October 25th Garson, J. W. (2013). What logics mean: from proof theory to model-theoretic semantics. Cambridge University Press. Ch. 16 Eliana Franceschini
November 01st Topic: Theories of truth (TBA) Camila Gallovich
November 08th Topic: Theories of truth (TBA) Jonathan Erenfryd
November 15th Topic: Theories of truth (TBA) Camillo Fiore
November 22th Topic: Theories of truth (TBA) Lucas Rosenblatt
November 29th Topic: Belief revision (TBA)  
December 06th Topic: Belief revision (TBA)  
December 13th Topic: Belief revision (TBA)  
December 20th    
December 27th