Here is a selection of research articles and volumes written or edited by members of the group.

Cover image: Manuscript page by G. W. Leibniz (1675), with one of the earliest summaries of the infinitesimal calculus in Leibniz’s notation. 

Aranda, V. (2026). A Completeness Theorem for a Functionally Complete Łukasiewicz Logic. Logic and Logical Philosophy: 1-12

Aranda, V., Huertas, A.,  Manzano, M. and Martins, M. (2026). On the Philosophy and Mathematics of Hybrid Partial Type Theory. Outstanding Contributions to Logic (Springer Science and Business Media B.V.): 37-63

Cuesta, J.A.F. and Jorge, J.P. (2026). Beyond Quantum Individuals: Quasi-Sets and the Philosophy of Quantum Logics. International Journal of Theoretical Physics 65(107). 

García-Arnaldos, D., Martínez-Vidal, C. & Ranalli, C. (2026). Naturalism: Deep Disagreement or Metalinguistic Negotiation?. Acta Analytica, 41, 453–473. https://doi.org/10.1007/s12136-025-00654-2

Maffezioli, P. (2026). Proof theory for intuitionistic stable theories. Logic and Logical Philosophy 35: 29-47. 

Cuesta, J.A.F. (2025). Suárez’s paradox and contemporary debates in the philosophy of quantum logics. Análisis. Revista de Investigación Filosófica, 12(1): 93–105.

Cuesta, J.A.F., Piazzai, M., and Rivieccio, U. (2025). Quantum logics in cognition: A proposal. Synthese, 206(1): 1–34.

Flores Valdivia, B., Nuño de la Rosa, L., and Triviño Alonso, V. (2025). Between substances and processes: Bridging metaphysical divides on fundamentality, persistence, and individuality. Análisis Filosófico 46(1), https://doi.org/10.36446/af.e1234

García-Arnaldos, M. D. y Martínez-Vidal, C. (2025). Inferentialism Naturalized and Anti-exceptionalism about Logic. Synthese 206(56) https://doi.org/10.1007/s11229-025-05104-5

Maffezioli, P. (2025). Proof theory for tight apartness. Studia Logica: 1-17.

Manzano, M. Huertas, A. Blackburn, P., Martins, M. and  Aranda,V. (2025). Hybrid Partial Type Theory. Journal of Symbolic Logic, 90(1): 321-363. 

Rivieccio, U. (2025). The algebra of ordinary discourse: On the semantics of Cooper’s logic. Archive for Mathematical Logic, 64: 795–817.

Sánchez-Ovcharov, C., Gherab-Martín, K., and Cuesta, J.A.F. (2025). Quantum counterfactuals: Interaction-free measurements and classical logic’s constraints. Logos & Episteme, 16(4): 455–477.

Yuste-Ginel, A., Chesñevar, C.I., Dix, J., Liao, B., Luo, J., and Proietti, C. (2025). Formal argumentation and modal logic. Journal of Applied Logics, 12: 825–892.

Aranda, V., Manzano, M., and Martins, M. (2024). Propositional Type Theory of Indeterminacy. Studia Logica, 112: 1409–1438.

Bertran-San-Millán, J. (2024). Peano’s geometry: From empirical foundations to abstract development. In P. Cantù and G. Schiemer (eds.), Logic, Epistemology, and Scientific Theories: From Peano to the Vienna Circle. Springer, 11–35.

Bertran-San-Millán, J. (2024). Stephen Pollard. Ernst Schröder on algebra and logic. Philosophia Mathematica, 32: 379–384.

Bordonaba Plou, D. (2024). Introduction to the monographic section: The role of intuitions in analytic philosophy. Revista de Humanidades de Valparaíso, 24: 1–7.

Bordonaba Plou, D. (2024). Intuition talk and reasoning markers: A corpus-study from the philosophy of language. Revista de Humanidades de Valparaíso, 24: 45–71.

Busaniche, M., and Rivieccio, U. (2024). Nelson conuclei and nuclei: The twist construction beyond involutivity. Studia Logica, 112: 1123–1161.

Caleiro, C., Marcelino, S., and Rivieccio, U. (2024). Some more theorems on structural entailment relations and non-deterministic semantics. In J. Malinowski and R. Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer, 345–375.

Celani, S., and Rivieccio, U. (2024). Intuitionistic modal algebras. Studia Logica, 112: 611–660.

Figallo, A., and Rivieccio, U. (2024). (In)consistency operators on quasi-Nelson algebras. In G. Metcalfe, T. Studer, and R. de Queiroz (eds.), Logic, Language, Information, and Computation (WoLLIC 2024). Springer, 175–192.

García-Arnaldos, M.D. (2024). Desacuerdos profundos y negociaciones metalingüísticas. Revista Iberoamericana de Argumentación, número extraordinario 4: 94–105.

Greati, V., Marcelino, S., and Rivieccio, U. (2024). Finite Hilbert systems for weak Kleene logics. Studia Logica, 112: 1215–1241.

Greati, V., Marcelino, S., Marcos, J., and Rivieccio, U. (2024). Adding an implication to logics of perfect paradefinite algebras. Mathematical Structures in Computer Science, 34: 1–46.

Järvinen, J., Radeleczki, S., and Rivieccio, U. (2024). Nelson algebras, residuated lattices and rough sets: A survey. Journal of Applied Non-Classical Logics, 34: 368–428.

Maffezioli, P. (2024). Un’ipotesi sulla teoria monetaria di Locke. Rivista di Filosofia, 115: 453–478.

Maffezioli, P. (2024). Cut elimination for coherent theories in negation normal form. Archive for Mathematical Logic, 63: 427–445.

Yuste-Ginel, A. (2024). Sobre la definición de los modelos estructurados incompletos de argumentación. Revista Iberoamericana de Argumentación, número extraordinario 4: 169–185.

Zardini, E. (2024). Verdict exclusion, higher-order vagueness, cross-order vagueness and borderlineness. In M. Petrolo and G. Venturi (eds.), Paradoxes between Truth and Proof. Springer, 279–299.

Zardini, E. (2024). Neoclassical logic, cloisonnist vagueness, nonobjectual truth. In S. Leuenberger and A. Rieger (eds.), Themes from Weir: A Celebration of the Philosophy of Alan Weir. Springer, 87–122.

Almagro, M., Bordonaba Plou, D., and Villanueva, N. (2023). Retraction in public settings. Synthese, 202: 137.

Aranda, V. (2023). Non-denoting terms and “imaginary” numbers: Modern interpretations of Husserl’s 1901 double lecture. In J. Lemanski and I. Max (eds.), Historia Logicae and its Modern Interpretation. College Publications, 231–249.

Bordonaba Plou, D. (2023). Métodos de corpus: Un nuevo horizonte para la filosofía experimental del lenguaje. Revista de Humanidades de Valparaíso, 21: 107–128.

Bordonaba Plou, D., and Jreis-Navarro, L. (2023). Contexto e intención: Un estudio interlingüístico de la noción de significado en árabe, español e inglés. Palabra y Razón, 24: 69–85.

Domínguez, D. (2023). Unzipping the zetetic turn. Synthese, 202: 194.

Cuesta, J.A.F. (2023). Cassini y el origen de la astronomía experimental: observaciones versus especulaciones. In J. Arana (ed.), La cosmovisión de los grandes creadores de la ciencia moderna. Tecnos, 138–153.

Cuesta, J.A.F. (2023). Contrafácticos cuánticos: Aproximación lógico-filosófica a las medidas cuánticas sin interacción. Revista Colombiana de Filosofía de la Ciencia, 23: 313–337.

García-Arnaldos, M.D. (2023). Contextualismo epistemológico: problemas y desafíos. Palabra y Razón, 24: 33–60.

García-Arnaldos, M. D., & Martínez-Vidal, C. (2023). On Fixing Concepts and Changing the Subject: The Case of “Naturalism”. Filozofia Nauki, 1-29. http://fn.uw.edu.pl/index.php/fn/article/view/1457.

Kapsner, A., and Rivieccio, U. (2023). The value of the one value: Exactly true logic revisited. Journal of Philosophical Logic, 52: 1417–1444.

Maffezioli, P. (2023). The arithmetical “dictum”. History and Philosophy of Logic, 44: 373–394.

Maffezioli, P. (2023). Zeno of Sidon vindicatus: A mereological analysis of the bisection of the circle. Logic and Logical Philosophy, 32: 671–690.

Maffezioli, P., and Varzi, A. (2023). Intuitionistic mereology II: Overlap and disjointness. Journal of Philosophical Logic, 52: 1197–1233.

Manzano, M., Huertas, A., Blackburn, P., Martins, M., and Aranda, V. (2023). Hybrid partial type theory. The Journal of Symbolic Logic, 90: 321–363.

Marcelino, S., and Rivieccio, U. (2023). Finite axiomatizability of logics of distributive lattices with negation. Logic Journal of the IGPL, 31: 510–533.

Proietti, C., and Yuste-Ginel, A. (2023). An abstract look at awareness models and their dynamics. In R. Verbrugge (ed.), Proceedings of TARK 2023, EPTCS 379: 455–469.

Rivieccio, U. (2023). Fragments of quasi-Nelson: Residuation. Journal of Applied Non-Classical Logics, 33: 52–119.

Yuste-Ginel, A., and Herzig, A. (2023). Qualitative uncertainty and dynamics of argumentation through dynamic logic. Journal of Logic and Computation, 33: 370–405.

Aranda, V. (2022). Husserl, Carnap y los conceptos de completud en lógica. College Publications.

Bertran-San-Millán, J. (2022). Peano’s structuralism and the birth of formal languages. Synthese, 200.

Bordonaba Plou, D. (2022). Análisis de la existencia fáctica de los desacuerdos profundos no-epistémicos en los debates parlamentarios. Cuadernos de Filosofía, 40: 93–116.

Bordonaba Plou, D. (2022). Bucles virtuosos: Una defensa del uso de métodos cualitativos y cuantitativos en filosofía del lenguaje. ALPHA, 54: 50–70.

Bordonaba Plou, D. (2022). Desacuerdos estratégicos y dinámicas de conflicto antagónicas. Isegoría, 66: e25.

Burrieza, A., Pérez de Guzmán, I., and Yuste-Ginel, A. (2022). A multi-modal logic for Galois connections. In D. Fernández-Duque, A. Palmigiano, and S. Pinchinat (eds.), Advances in Modal Logic, vol. 14, 155–176.

Cuesta, J.A.F. (2022). Lógica formal, representación e intuición: Los límites de la representación clásica de objetos matemáticos. Visual Review, 9: 249–269.

Flaminio, T., and Rivieccio, U. (2022). Prelinearity in (quasi-)Nelson logic. Fuzzy Sets and Systems, 445: 66–89.

Maffezioli, P. (2022). Hume on the monetary fallacy of monotonic counterfactuals. Axiomathes, 32: 593–606.

Maffezioli, P. (2022). La critica di Zenone di Sidone agli Elementi di Euclide. Rivista di Filosofia, 113: 45–76.

Maffezioli, P., Bonino, G., Petrovich, E., and Tripodi, P. (2022). When philosophy (of science) meets formal methods: A citation analysis of early approaches between research fields. Synthese, 200: 177.

Rivieccio, U. (2022). Fragments of quasi-Nelson: The algebraizable core. Logic Journal of the IGPL, 30: 807–839.

Rivieccio, U. (2022). Quasi-N4-lattices. Soft Computing, 26: 2671–2688.

Rivieccio, U., and Marcelino, S. (2022). Logics of involutive Stone algebras. Soft Computing, 26: 3147–3160.

Rivieccio, U., and Nascimento, T. (2022). Negation and implication in quasi-Nelson logic. Logical Investigations, 27: 107–123.

Zardini, E. (2022). The final cut. Journal of Philosophical Logic, 51: 1583–1611.

Zardini, E. (2022). Vagueness and Thought, by Andrew Bacon. Mind, 131: 1375–1386.

Aranda, V. (2021). Completeness: From Husserl to Carnap. Logica Universalis, 16: 57–83.

Bertran-San-Millán, J. (2021). Frege, Peano and the interplay between logic and mathematics. Philosophia Scientiæ, 25: 15–34.

Bertran-San-Millán, J. (2021). Frege, Peano and the construction of a logical calculus. Logique et Analyse, 253: 3–22.

Bertran-San-Millán, J. (2021). Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege–Schröder polemic. Review of Symbolic Logic, 14: 411–446.

Bordonaba Plou, D. (2021). An analysis of the centrality of intuition talk in the discussion on taste disagreements. Filozofia Nauki, 29: 133–156.

Bordonaba Plou, D. (2021). Cognitive penetration and taste predicates: Making an exception to the rule. Filosofia Unisinos, 22: 12–20.

Bordonaba Plou, D. (2021). Metalinguistic negotiations and two senses of taste. Diametros, 18: 1–20.

Bordonaba Plou, D., and Torices Vidal, J.R. (2021). Paving the road to hell: The Spanish word menas as a case study. Daimon, 84: 47–62.

Burrieza, A., and Yuste-Ginel, A. (2021). An awareness epistemic framework for belief, argumentation and their dynamics. In J.Y. Halpern and A. Perea (eds.), Proceedings of TARK 2021, EPTCS 335: 69–83.

Cuesta, J.A.F. (2021). Lógica modal megárico-estoica: Posibilidad y necesidad como operadores aléticos. Human Review, 10: 261–270.

García-Arnaldos, M.D. (2021). Pluralismo lógico, normatividad y la objetividad del conocimiento lógico. Tesis, 14: 715–736.

Herzig, A., and Yuste-Ginel, A. (2021). Abstract argumentation with qualitative uncertainty: An analysis in dynamic logic. In P. Baroni, C. Benzmüller and Y. Wang (eds.), Logic and Argumentation. LNCS 13040, Springer, 190–208.

Herzig, A., and Yuste-Ginel, A. (2021). Multi-agent abstract argumentation frameworks with incomplete knowledge of attacks. Proceedings of IJCAI 2021, 1922–1928.

Herzig, A., and Yuste-Ginel, A. (2021). On the epistemic logic of incomplete argumentation frameworks. In M. Bienvenu, G. Lakemeyer and E. Erdem (eds.), KR 2021 Proceedings, 681–685.

Jansana, R., and Rivieccio, U. (2021). Quasi-Nelson algebras and fragments. Mathematical Structures in Computer Science, 31: 257–285.

Jung, A., and Rivieccio, U. (2021). A duality for two-sorted lattices. Soft Computing, 25: 851–868.

Maffezioli, P. (2021). Equality and apartness in bi-intuitionistic logic. Logical Investigations, 27: 82–106.

Paiva, R., Santiago, R., Bedregal, B., and Rivieccio, U. (2021). Inflationary BL-algebras obtained by 2-dimensional general overlap functions. Fuzzy Sets and Systems, 418: 64–83.

Proietti, C., and Yuste-Ginel, A. (2021). Dynamic epistemic logic for abstract argumentation. Synthese, 199: 8641–8700.

Zardini, E. (2021). Closed without boundaries. Synthese, 199: 641–679.

Zardini, E. (2021). Substructural approaches to paradox: An introduction to the special issue. Synthese, 199: 493–525.

Zardini, E., and Oms, S. (2021). Inclosure and intolerance. Notre Dame Journal of Formal Logic, 62: 201–220.

Alonso, E., and Aranda, V. (2020). La lógica contemporánea en sus manuales (1940–1980). Éndoxa, 46: 165–192.

Aranda, V. (2020). Completeness, categoricity and imaginary numbers: The debate on Husserl. Bulletin of the Section of Logic, 49: 109–125.

Aranda, V. (2020). La polémica entre sintaxis y semántica en Post, Lewis y Wittgenstein. In D.P. Fernandes and R. López Orellana (eds.), El jardín de senderos que se bifurcan y confluyen. Universidad de Valparaíso, 17–35.

Bertran-San-Millán, J. (2020). Frege’s intellectual life as a logicist project. Teorema, 39: 127–138.

Bertran-San-Millán, J., and Badesa, C. (2020). Begriffsschrift’s logic. Notre Dame Journal of Formal Logic, 61: 409–440.

Bordonaba Plou, D. (2020). Coordination of contexts and taste disagreements. Daimon, 80: 169–184.

García-Arnaldos, M.D. (2020). An Introduction to the Theory of Knowledge, written by O’Brien, D. History of Philosophy & Logical Analysis, 23: 507–514.

García-Arnaldos, M.D., and Miguens, S. (2020). Presentation. Reason, reasoning and action: puzzling out the mark of Anscombe. Enrahonar, An international journal of theoretical and practical reason, 64: 7–17.

Maffezioli, P. (2020). Bocheński’s formalization of Summa Theologiae (Ia,75,6) reconsidered. History and Philosophy of Logic, 41: 191–198.

Maffezioli, P., Bonino, G., and Tripodi, P. (2020). Logic in analytic philosophy: A quantitative analysis. Synthese, 198: 10991–11028.

Maffezioli, P., Gherardi, G., and Orlandelli, E. (2020). Interpolation in extensions of first-order logic. Studia Logica, 108: 619–648.

Maffezioli, P., and Varzi, A. (2020). Intuitionistic mereology. Synthese, 198: 4277–4302.

Rivieccio, U. (2020). Representation of De Morgan and (semi-)Kleene lattices. Soft Computing, 24: 8685–8716.

Rivieccio, U. (2020). Fragments of quasi-Nelson: Two negations. Journal of Applied Logic, 7: 499–559.

Rivieccio, U., Maia, P., and Jung, A. (2020). Non-involutive twist-structures. Logic Journal of the IGPL, 28: 973–999.

Rivieccio, U., Bakhtiari, Z., and van Ditmarsch, H. (2020). Bilattice logic of epistemic actions and knowledge. Annals of Pure and Applied Logic, 171.

Rivieccio, U., and Spinks, M. (2020). Quasi-Nelson, or non-involutive Nelson algebras. In D. Fazio, A. Ledda and F. Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer, 133–168.

Aguilera-Ventura, C., Muñoz-Velasco, E., Ojeda-Aciego, M., and Yuste-Ginel, A. (eds.) (2024). Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza. College Publications.

Aranda, V. (2022). Husserl, Carnap y los conceptos de completud en lógica. College Publications.

Aranda, V., Conti, L., and Zardini, E. (eds.) (forthcoming). Teaching Logic: Programmes, Games and Philosophy. Springer.

Burrieza, A., and Yuste-Ginel, A. (2024). Sobre cuadrados y rombos: una introducción asequible a la lógica modal. UMA Editorial.

Cuevas-Badallo, A., Torres-González, O., Aranda, V., and Moldovan, A. (eds.) (2021). Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Instituto de Estudios de la Ciencia y la Tecnología (USAL).

Zardini, E., and Dodd, D. (eds.) (2026). The A Priori: Its Significance, Sources, and Extent. Oxford University Press.

Zardini, E. (ed.) (2021). Substructural Approaches to Paradox. Special Issue of Synthese.