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 | Paula Teijeiro | |
| October 25th | Garson, J. W. (2013). What logics mean: from proof theory to model-theoretic semantics. Cambridge University Press. Ch. 11 | Bruno Da Ré | |
| November 01st | Castaldo, L. (2023). On the costs of classical logic. Erkenntnis, 88(3), 1157-1188. | Camila Gallovich | |
| November 08th | Workshop on Logic and Reasoning |
Keynote speakers Pablo Cobreros / Martín Martínez Villar (University of Navarra) Ondrej Majer (The Czech Academy of Sciences) Mariela Aguilera (CONICET-University of Córdoba) |
|
| November 15th | Nicolai, C. (2018). Provably true sentences across axiomatizations of Kripke’s theory of truth. Studia Logica, 106(1), 101-130. | Camillo Fiore | |
| November 22th | Fischer, M., Nicolai, C., & Horsten, L. (2017). Iterated reflection over full disquotational truth. Journal of Logic and Computation, 27(8), 2631-2651. | Jonathan Erenfryd | |
| November 29th | Rumfitt, I. (2023). In defence of PKF. Synthese, 201(2), 39. | Lucas Rosenblatt | |
| December 06th | Tutorial on AGM | Ricardo Rodriguez and Daniel Grimaldi | |
| December 13th | Workshop | ||
| December 20th | Double WIP | ||
| December 27th |