Switch to: References

Add citations

You must login to add citations.
  1. Fibring Non-Truth-Functional Logics: Completeness Preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
    Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that thisextended notion of fibring preserves completeness under certain reasonableconditions. This completeness transfer (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
    In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Paraconsistent Logic: Consistency, Contradiction and Negation.Abilio Rodrigues - forthcoming - History and Philosophy of Logic:1-7.
    The book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli and Marcelo Coniglio is the most thorough study of Logics of Formal Inconsistency...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Behavioral Algebraization of da Costa's C-Systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.
    It is well-known that da Costa's C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraizable logics. In this paper we propose to study the C-systems from an algebraic point of view, and to fill in this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Adaptive Fregean Set Theory.Diderik Batens - 2020 - Studia Logica 108 (5):903-939.
    This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Tree-Like Proof Systems for Finitely-Many Valued Non-Deterministic Consequence Relations.Pawel Pawlowski - 2020 - Logica Universalis 14 (4):407-420.
    The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
    The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.
    The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Recovery Operators, Paraconsistency and Duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.
    In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Model-Theoretic Analysis of Fidel-Structures for mbC.Marcelo E. Coniglio - 2020 - In Can Baskent and Thomas Ferguson (ed.), Graham Priest on Dialetheism and Paraconsistency. Springer. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • On Paraconsistent Deontic Logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Logic May Be Simple. Logic, Congruence and Algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - forthcoming - Logic Journal of the IGPL.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Carnot's Logic.Newton Ca da Costa & Jean-Yves Béziau - 1993 - Bulletin of the Section of Logic 22 (3):98-105.
  • A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Truth as a Mathematical Object.Jean-Yves Béziau - 2010 - Principia: An International Journal of Epistemology 14 (1):31-46.
    Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Relations Between Paraconsistent Logic and Many-Valued Logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.
  • Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.
  • Paraconsistent Logic and Model Theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
    The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa''sC 1 = (obtained by adding the axiom A A) and prove for it (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Variations on da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of Cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Two-Valued Weak Kleene Logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
    In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking at them as (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paraconsistent Logical Consequence.Dale Jacquette - 1998 - Journal of Applied Non-Classical Logics 8 (4):337-351.
    ABSTRACT The concept of paraconsistent logical consequence is usually negatively defined as a validity semantics in which not every sentences is deducible or in which inferential explosion does not occur. Paraconsistency has been negatively characterized in this way because paraconsistent logics have been designed specifically to avoid the trivialization of deductive inference entailed by the classical paradoxes of material implication for applications in a system that tolerates syntactical contradictions. The effect of the negative characterization of paraconsistency has been to encourage (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.
    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 logics, and can be easily extended to a large family of quantified paraconsistent (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites.Newton C. A. Da Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n (...))
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤ N< Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, 1≤n<ω, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.