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 |
|
||
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), 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 Science, 603, 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 Logica, 88, 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 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), 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 |