Year:

  1.  4
    An Epistemological Study of Theory Change.Theofanis Aravanis - 2022 - Bulletin of the Section of Logic 51 (1):1-26.
    Belief Revision is a well-established field of research that deals with how agents rationally change their minds in the face of new information. The milestone of Belief Revision is a general and versatile formal framework introduced by Alchourrón, Gärdenfors and Makinson, known as the AGM paradigm, which has been, to this date, the dominant model within the field. A main shortcoming of the AGM paradigm, as originally proposed, is its lack of any guidelines for relevant change. To remedy this weakness, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  39
    Weakly Free Multialgebras.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Bulletin of the Section of Logic 51 (1):109-141.
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    Weakly Free Multialgebras.Marcelo Esteban Coniglio & Guilherme Vicentin de Toledo - 2022 - Bulletin of the Section of Logic 51 (1):109-141.
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Sequent Calculi for Orthologic with Strict Implication.Tomoaki Kawano - 2022 - Bulletin of the Section of Logic 51 (1):73-89.
    In this study, new sequent calculi for a minimal quantum logic ) are discussed that involve an implication. The sequent calculus \ for \ was established by Nishimura, and it is complete with respect to ortho-models. As \ does not contain implications, this study adopts the strict implication and constructs two new sequent calculi \ and \ as the expansions of \. Both \ and \ are complete with respect to the O-models. In this study, the completeness and decidability theorems (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Ternary Relational Semantics for the Variants of BN4 and E4 Which Contain Routley and Meyer's Logic B.Sandra M. López - 2022 - Bulletin of the Section of Logic 51 (1):27-56.
    Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and entailment, respectively—were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics. The aim of this paper is to develop reduced general Routley-Meyer semantics for them. Strong soundness and completeness theorems are proved for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    A Sequent Systems Without Improper Derivations.Katsumi Sasaki - 2022 - Bulletin of the Section of Logic 51 (1):91-108.
    In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \ for classical propositional logic with only structural rules, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Note on the Intuitionistic Logic of False Belief.Tomasz Witczak - 2022 - Bulletin of the Section of Logic 51 (1):57-71.
    In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world, but we still believe in it. Another interpretations are also possible: e.g. that we do not accept $\varphi$ but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues