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.
-
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. 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.
-
Verónica Borja Macías, Marcelo E. Coniglio, and Alejandro Hernández-Tello, Genuine paracomplete logicsLogic Journal of the IGPL. forthcoming.
-
Marcelo E. Coniglio and Guilherme V. Toledo, From Inconsistency to IncompatibilityLogic and Logical Philosophy 1-36. forthcoming.
-
Lucas Angioni, Aristotle on “dunatos” as a label for imperfect syllogismsIn Graziana Ciola & Milo Crimi (eds.), Validity Throughout History. forthcoming.
-
Lucas Angioni, Demonstration and Necessity: A short note on Metaphysics 1015b6-9Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental. forthcoming.
-
Achille C. Varzi and Gabriele Pulcini, Classical Logic through Refutation and RejectionIn Landscapes in Logic (Volume on Philosophical Logics), College Publications. forthcoming.
-
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-Gaspar, 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.
-
Marcelo E. Coniglio, A model-theoretic analysis of Fidel-structures for mbCIn Can Baskent and Thomas Ferguson (ed.), Graham Priest on Dialetheism and Paraconsistency, Springer. pp. 189-216. 2020.
-
Walter Carnielli, Marcelo E. Coniglio, and Abilio Rodrigues, Recovery operators, paraconsistency and dualityLogic Journal of the IGPL 28 (5): 624-656. 2020.
-
Marcelo E. Coniglio, Aldo Figallo-Orellano, and Ana Claudia Golzio, Non-deterministic algebraization of logics by swap structures1Logic Journal of the IGPL 28 (5): 1021-1059. 2020.
-
Walter Carnielli, Marcelo E. Coniglio, and Abilio Rodrigues, Recovery operators, paraconsistency and dualityLogic Journal of the IGPL 28 (5): 624-656. 2020.
-
Marcelo E. Coniglio, Aldo Figallo-Orellano, and Ana Claudia Golzio, First-order swap structures semantics for some Logics of Formal InconsistencyJournal of Logic and Computation 30 (6): 1257-1290. 2020.
-
Alejandro Hernández-Tello, Verónica Borja-Macı́as, and Marcelo E. Coniglio, Paracomplete logics which are dual to the paraconsistent logics L3A and L3BLANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning. 2020.
-
Marcelo E. Coniglio, Luis Fariñas del Cerro, and Newton Peron, Modal logic with non-deterministic semantics: Part I—Propositional caseLogic Journal of the IGPL 28 (3): 281-315. 2020.