4 found
  1.  17
    Completeness and Incompleteness for Anodic Modal Logics.Juliana Bueno-Soler - 2009 - Journal of Applied Non-Classical Logics 19 (3):291-310.
  2.  58
    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 (6 more)  
    Export citation  
    Bookmark   1 citation  
  3.  12
    Possible-Translations Algebraization for Paraconsistent Logics.Juliana Bueno-Soler & W. A. Carnielli - 2005 - Bulletin of the Section of Logic 34 (2):77-92.
  4.  22
    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 (6 more)  
    Export citation