-
382A categorial approach to the combination of logicsManuscrito 22 (2): 69-94. 1999.In this paper we propose a very general denition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, sin…Read more
-
42Logics of formal inconsistency arising from systems of fuzzy logicLogic Journal of the IGPL 22 (6): 880-904. 2014.This article proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this article we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs). The main novelty of the present approach is the definition of postulates for this type of operators over MTL-algebras, leading to the definition and axiomatization of a family of…Read more
-
204On graph-theoretic fibring of logicsJournal of Logic and Computation 19 (6): 1321-1357. 2009.A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive syste…Read more
-
51Non-commutative topology and quantalesStudia Logica 65 (2): 223-236. 2000.The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, which permits us to ex…Read more
-
36On discourses addressed by infidel logiciansIn Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications, Springer. pp. 27--41. 2013.We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.
-
285Non-deterministic algebras and algebraization of logicsFilosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese). 2015.
-
36Towards a stronger notion of translation between logicsManuscrito 28 (2): 231-262. 2005.The concept of translation between logics was originally introduced in order to prove the consistency of a logic system in terms of the consistency of another logic system. The idea behind this is to interpret a logic into another one. In this survey we address the following question: Which logical properties a logic translation should preserve? Several approaches to the concept of translation between logics are discussed and analyzed
-
44An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic ConferenceLogic Journal of the IGPL 13 (1): 1-3. 2005.This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
-
21On a four-valued modal logic with deductive implicationBulletin of the Section of Logic 43 (1/2): 1-18. 2014.In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.
-
26On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logicsLogic Journal of the IGPL 24 (3): 288-320. 2016.
-
37On the way to a Wider model theory: Completeness theorems for first-order logics of formal inconsistencyReview of Symbolic Logic 7 (3): 548-578. 2014.This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logi…Read more
-
412Paraconsistent Belief Revision based on a formal consistency operatorCLE E-Prints 15 (8): 01-11. 2015.In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessa…Read more
University of São Paulo
Department of Philosophy, Languages and Literature, and Human Sciences
PhD, 1997
Campinas, São Paulo, Brazil
Areas of Specialization
Logic and Philosophy of Logic |
Areas of Interest
Logic and Philosophy of Logic |