10 found
Order:
  1.  11
    Measuring Evidence: A Probabilistic Approach to an Extension of Belnap–Dunn Logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2. Modalities and Multimodalities.Walter Alexandre Carnielli, Claudio Pizzi & Juliana Bueno-Soler - 2008 - Dordrecht, Netherland: Springer.
    In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  28
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Experimenting with Consistency.Walter Carnielli, Juliana Bueno-Soler & Walter Carnieli and Juliana Bueno-Soler - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Springer Verlag. pp. 199-221.
    This paper discusses logical accounts of the notions of consistency and negation, and in particular explores some potential means of defining consistency and negation when expressed in modal terms. Although this can be done with interesting consequences when starting from classical normal modal logics, some intriguing cases arise when starting from paraconsistent modalities and negations, as in the hierarchy of the so-called cathodic modal paraconsistent systems (cf. Bueno-Soler, Log Univers 4(1):137–160, 2010). The paper also takes some first steps in exploring (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  5.  89
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  22
    Possible-Translations Algebraization for Paraconsistent Logics.Juliana Bueno-Soler & W. A. Carnielli - 2005 - Bulletin of the Section of Logic 34 (2):77-92.
  7.  36
    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  
     
    Bookmark   1 citation  
  8.  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  
  9. Credal Calculi, Evidence, and Consistency.Walter Carnielli & Juliana Bueno-Soler - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 71-90.
    This paper defends the use of possibility and necessity models based on the Logics of Formal Inconsistency, taking advantage of their expressivity in terms of the notions of consistency and inconsistency. The present proposal directly generalizes the approach of Besnard and Lang, whose main guidelines we borrow here. Some basic properties of possibility and necessity functions over the Logics of Formal Inconsistency are obtained and it is shown, by revisiting a paradigmatic example, how paraconsistent possibility and necessity reasoning can, in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  37
    Book of Abstracts: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning.Walter A. Carnielli, Rafael Testa & Juliana Bueno-Soler - 2016 - Campinas, SP, Brasil: CLE-Unicamp.
    “Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark