Department Members
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.
-
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, and Lluis Godo, On the expressive power of Łukasiewicz square operatorJournal of Logic and Computation. forthcoming.
-
Walter Carnielli and Marcelo E. Coniglio, Twist-Valued Models for Three-Valued Paraconsistent Set TheoryLogic and Logical Philosophy 1. forthcoming.
-
Marcelo E. Coniglio and Guilherme V. Toledo, From Inconsistency to IncompatibilityLogic and Logical Philosophy 1-36. forthcoming.
-
Marcelo E. Coniglio and Martin Figallo, Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal LogicLogic and Logical Philosophy 1-33. forthcoming.
-
Renato Leme, Marcelo E. Coniglio, Bruno Lopes, and Giorgio Venturi, Ecumenical Propositional TableauStudia Logica 1-28. forthcoming.
-
Marcelo E. Coniglio, G. T. Gomez–Pereira, and Martín Figallo, On a Four-Valued Logic of Formal Inconsistency and Formal UndeterminednessStudia Logica 1-42. forthcoming.
-
Lucas Angioni, Aristotle on “dunatos” as a label for imperfect syllogismsIn Graziana Ciola & Milo Crimi (eds.), Validity Throughout History, Philosophia Verlag. forthcoming.
-
Achille C. Varzi and Gabriele Pulcini, Classical Logic through Refutation and RejectionIn Achille C. Varzi & Gabriele Pulcini (eds.), Landscapes in Logic (Volume on Philosophical Logics), College Publications. forthcoming.
-
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.
-
Verónica Borja Macías, Marcelo E. Coniglio, and Alejandro Hernández-Tello, Genuine paracomplete logicsLogic Journal of the IGPL 31 (5): 961-987. 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-Tello, 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, 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.
-
Walter Carnielli, Marcelo E. Coniglio, and Abilio Rodrigues, Recovery operators, paraconsistency and dualityLogic Journal of the IGPL 28 (5): 624-656. 2020.