Department Affiliates
Department Activity
Details
-
MA program offered
-
PhD program offered
Also at University of Campinas
-
Marcelo E. Coniglio, Tadeo G. Gomez, and Martín Figallo, Some model-theoretic results on the 3-valued paraconsistent first-order logic qcioreReview of Symbolic Logic 1-41. forthcoming.
-
Lucas Angioni, Aristotle on “dunatos” as a label for imperfect syllogismsIn Graziana Ciola & Milo Crimi (eds.), Validity Throughout History, Philosophia Verlag. forthcoming.
-
Pedro Teixeira Yago and Giorgio Venturi, Logics of unknowable (necessary) truthsStudia Logica. forthcoming.
-
Marcelo E. Coniglio, Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap StructuresStudia Logica 113 (4): 955-1024. 2025.
-
Lucas Angioni, Aristotle and Aquinas on DemonstrationIn Alex Hall, Gyula Klima & Timothy Kearns (eds.), Metaphysical Alternatives vs. Alternative Semantics, Cambridge Scholars Publishing. pp. 1-21. 2025.
-
Marcelo E. Coniglio and Abilio Rodrigues, From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and TruthStudia Logica 112 (3): 561-606. 2024.
-
Marcelo E. Coniglio and Martin Figallo, Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal LogicLogic and Logical Philosophy 33 (2): 171-203. 2024.
-
Renato Leme, Marcelo E. Coniglio, Bruno Lopes, and Giorgio Venturi, Ecumenical Propositional Tableau: Ecumenical Propositional TableauStudia Logica 113 (2): 539-566. 2024.
-
Marcelo E. Coniglio, Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$FDE$$\end{document}Studia Logica 113 (2): 273-324. 2024.
-
Verónica Borja Macías, Marcelo E. Coniglio, and Alejandro Hernández, Genuine paracomplete logicsLogic Journal of the IGPL 31 (5): 961-987. 2023.
-
Marcelo E. Coniglio and Guilherme V. Toledo, From Inconsistency to IncompatibilityLogic and Logical Philosophy 32 (2): 181-216. 2023.
-
Marcelo E. Coniglio and Guilherme V. Toledo, A Category of Ordered Algebras Equivalent to the Category of MultialgebrasBulletin of the Section of Logic 52 (4): 517-550. 2023.
-
Lucas Angioni, Demonstration and Necessity: A short note on Metaphysics 1015b6-9Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 33 (33): 1-24. 2023.
-
Lucas Angioni, Sophistical Demonstrations: A Class of Arguments Entangled with False Peirastic and PseudographemataIn Melina G. Mouzala (ed.), Ancient Greek Dialectic and Its Reception, De Gruyter. pp. 211-246. 2023.
-
Lucas Angioni, Aristotle’s Language for Success in (Practical) ExplanationsIn Nuno Coelho & Liesbeth Huppes-Cluysenaer (eds.), Aristotle on Truth, Dialogue, Justice and Decision, Springer. pp. 15-35. 2023.
-
Walter Carnielli, Marcelo E. Coniglio, and David Fuenmayor, Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal AccountReview of Symbolic Logic 15 (3): 771-806. 2022.
-
Marcelo E. Coniglio, Luis Fariñasdelcerro, and Newton Marques Peron, Modal Logic With Non-Deterministic Semantics: Part II—Quantified CaseLogic Journal of the IGPL 30 (5): 695-727. 2022.
-
Marcelo E. Coniglio and Guilherme V. Toledo, Weakly Free MultialgebrasBulletin of the Section of Logic 51 (1): 109-141. 2022.
-
Marcelo E. Coniglio and Guilherme V. Toledo, Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix SemanticsStudia Logica 110 (3): 601-642. 2022.
-
Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández, and Miguel Perez, G'3 as the logic of modal 3-valued Heyting algebrasIfCoLog Journal of Logics and Their Applications 9 (1): 175-197. 2022.
-
H. Antunes, Abilio Rodrigues, Walter Carnielli, and Marcelo E. Coniglio, Valuation Semantics for First-Order Logics of Evidence and TruthJournal of Philosophical Logic 51 (5): 1141-1173. 2022.
-
Marcelo E. Coniglio and Guilherme Vicentin de Toledo, Weakly Free MultialgebrasBulletin of the Section of Logic 51 (1): 109-141. 2022.
-
Marco Ruffino, Contingent A Priori Truths: Metaphysics, Semantics, Epistemology and PragmaticsSpringer Nature. 2022.
-
Walter Carnielli and Marcelo E. Coniglio, Twist-Valued Models for Three-valued Paraconsistent Set TheoryLogic and Logical Philosophy 30 (2): 187-226. 2021.
-
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, and Lluis Godo, On the expressive power of Łukasiewicz square operatorJournal of Logic and Computation. 2021.
-
Walter Carnielli and Marcelo E. Coniglio, Twist-Valued Models for Three-Valued Paraconsistent Set TheoryLogic and Logical Philosophy 30 (2): 187-226. 2021.
-
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, and Lluis Godo, Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and ParaconsistencyIn Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Springer Verlag. pp. 107-139. 2021.
-
Lucas Angioni, Aristotle’s solution for Parmenides’ inconclusive argument in Physics I.3Peitho 12 (1): 41-67. 2021.