Switch to: Citations

References in:

Paraconsistent Logic: Consistency, Contradiction and Negation

Basel, Switzerland: Springer International Publishing (2016)

Add references

You must login to add references.
  1. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    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 necessarily related to the notion of formal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Revisão de Crenças Paraconsistente baseada em um operador formal de consistência.Rafael Testa - 2014 - Dissertation, University of Campinas
    A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Algebraizable Logics.W. J. Blok & Don Pigozzi - 1989
    W. J. Blok and Don Pigozzi set out to try to answer the question of what it means for a logic to have algebraic semantics. In this seminal book they transformed the study of algebraic logic by giving a general framework for the study of logics by algebraic means. The Dutch mathematician W. J. Blok (1947-2003) received his doctorate from the University of Amsterdam in 1979 and was Professor of Mathematics at the University of Illinois, Chicago until his death in (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   120 citations  
  • Lectures on Propositional Calculi.Ryszard Wójcicki - 1984 - Pub. House of the Polish Academy of Sciences.
  • Some Investigations on mbC and mCi.Marcelo E. Coniglio & Tarcísio G. Rodrígues - 2014 - In Cezar A. Mortari (ed.), Tópicos de lógicas não clássicas. NEL/UFSC. pp. 11-70.
  • Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
    We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Quasi-Matrix Logic as a Paraconsistent Logic for Dubitable Information.Yury V. Ivlev - 2000 - Logic and Logical Philosophy 8:91.
  • Quasi-Truth, Paraconsistency, and the Foundations of Science.Otávio Bueno & Newton Costa - 2007 - Synthese 154 (3):383-399.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.
     
    Export citation  
     
    Bookmark   33 citations  
  • Referential Matrix Semantics for Propositional Calculi.Ryszard Wójcicki - 1979 - Bulletin of the Section of Logic 8 (4):170-176.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A General Algebraic Semantics for Sentential Logics.Josep M. Font & Ramon Jansana - 2000 - Studia Logica 64 (2):287-297.
  • Logics of Formal Inconsistency Arising From Systems of Fuzzy Logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
    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 logics, expansions of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations