Reading Group:
Topics on NonClassical Logics
Previous years: Archive
All meetings are on Fridays: 15:00 – 16:45 at IIFSADAFCONICET
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 GaginoDi 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 


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 Logic, 36(4), 377380.  Bruno Da Ré  
August 23rd  Caleiro, C., Marcos, J., & Volpe, M. (2015). Bivalent semantics, generalized compositionality and analytic classiclike tableaux for finitevalued logics. Theoretical Computer Science, 603, 84110.  Martina Zirattu  
August 30th  Wansing, H., & Shramko, Y. (2008). Suszko’s thesis, inferential manyvaluedness, and the notion of a logical system. Studia Logica, 88, 405429.  Nicolò Zamperlin  
September 6th  Blasio, C., Marcos, J., & Wansing, H. (2017). An Inferentially ManyValued TwoDimensional Notion of Entailment. Bulletin of the Section of Logic, 46(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 Logic, 12(4), 736767.  Quentin Blomet  
September 20th  Lahav, O., & Avron, A. (2013). A unified semantic framework for fully structural propositional sequent systems. ACM Transactions on Computational Logic (TOCL), 14(4), 133.  Bruno Da Ré  
September 27th  Garson, J. W. (2013). What logics mean: from proof theory to modeltheoretic semantics. Cambridge University Press. Ch. 1  Alejandro SolaresRojas  
October 04th  Garson, J. W. (2013). What logics mean: from proof theory to modeltheoretic 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 modeltheoretic semantics. Cambridge University Press. Ch. 5 and 11  Paula Teijeiro  
October 25th  Garson, J. W. (2013). What logics mean: from proof theory to modeltheoretic 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 