PLEXUS Summer School Pitch Talk: Martina Zirattu: “Variable Inclusion through Substructural Means”

Martina Zirattu (Università di Torino): “Variable Inclusion (through Substructural Means)”

Slides: https://plexuslogic.wordpress.com/wp-...

References:
Anderson, A. and Belnap, N. (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press, Princeton, N.J.
Angell, R. B. (1989a). Deducibility, entailment and analytic containment. In Norman, J. and Sylvan, R., editors, Directions in Relevant Logic, pages 119–143. Springer.
Angell, R. B. (1989b). Deducibility, Entailment and Analytic Containment, pages 119–143. Springer Netherlands, Dordrecht.
Bonzio, S., Paoli, F., and Pra Baldi, M. (2022). Logic, analyticity, and significance, pages 1–31. Springer International Publishing, Cham.
M. Zirattu, A. Borzi Var Inclusion Plexus Summer School 2024 34 / 36
Dunn, M. (1972). A modification of parry’s analytic implication. Notre Dame Journal of Formal Logic, 13(2):195–205.
Hintikka, J. (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Clarendon Press, Oxford,.
Kant, I. (1998). Critique of Pure Reason. The Cambridge Edition of the Works of Immanuel Kant. Cambridge University Press.
Paoli, F., Pra Baldi, M., and Szmuc, D. (2021). Pure variable inclusion logics.
Logic and Logical Philosophy, pages 1–22.
Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In Proceedings of the Tarski symposium, volume 25, pages 411–436. American Mathematical Society, Providence.
Szmuc, D. (2017). El sentido del sinsentido. Análisis Filosófico, 37(2):195–212.
Szmuc, D. and Rubin, M. (2022). Pure refined variable inclusion logics. Australasian Journal of Logic, 19(5):147–166.