Bulletin of the Section of Logic 51/1 (2022)
TABLE OF CONTENTS1. An Epistemological Study of Theory Change
2. Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Sandra M. López
3. A Note on the Intuitionistic Logic of False Belief
4. Sequent Calculi for Orthologic with Strict Implication
5. A Sequent Systems without Improper Derivations
6. Weakly Free Multialgebras
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
Weakly Free Multialgebras (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)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. ...
A Sequent Systems without Improper Derivations (Wydawnictwo Uniwersytetu Łódzkiego, 2021-10-14)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 ...
Sequent Calculi for Orthologic with Strict Implication (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with ...
A Note on the Intuitionistic Logic of False Belief (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-01)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 ...
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-02)Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these ...
An Epistemological Study of Theory Change (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)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 ...