7 found
Order:
  1.  6
    Measuring Evidence: A Probabilistic Approach to an Extension of Belnap–Dunn Logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - forthcoming - Synthese:1-30.
    This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Experimenting with Consistency.Walter Carnielli & Juliana Bueno-Soler - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Springer Verlag. pp. 199-221.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  3.  86
    Two Semantical Approaches to Paraconsistent Modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
    In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  1
    Models for Anodic and Cathodic Multimodalities.Juliana Bueno-Soler - 2012 - Logic Journal of the IGPL 20 (2):458-476.
    A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in Bueno-Soler and Bueno-Soler , to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are defined as extensions of positive multimodal systems by adding degrees of negation plus consistency operators. In this way, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  27
    Completeness and Incompleteness for Anodic Modal Logics.Juliana Bueno-Soler - 2009 - Journal of Applied Non-Classical Logics 19 (3):291-310.
    We propose a new approach to positive modal logics, hereby called anodic modal logics. Our treatment is completely positive since the language has neither negation nor any falsum or minimal particle. The elimination of the minimal particle of the language requires introducing the new concept of factual sets and factual deductions which permit us to talk about deductions in the actual world. We start from a positive fragment of the standard system K, denoted by K⊃, ∧, ◊, which is a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  16
    Possible-Translations Algebraization for Paraconsistent Logics.Juliana Bueno-Soler & W. A. Carnielli - 2005 - Bulletin of the Section of Logic 34 (2):77-92.
  7.  34
    Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
    This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark