Bulletin of the Section of Logic 44/3-4 (2015)
The Bulletin of the Section of Logic (BSL) is a quarterly peer-reviewed journal published with the support from the University of Łódź. Its aim is to act as a forum for a wide and timely dissemination of new and signiﬁcant results in logic through rapid publication of short papers. BSL publishes contributions on topics dealing directly with logical calculi, their methodology, and algebraic interpretation.
Papers may be submitted to the Editor-in-Chief or to any of the Collecting Editors. While preparing the munuscripts for publication please consult Submission Information.
* * *Editorial Oﬃce:
Department of Logic, University of Łódź
ul. Kopcińskiego 16/18, 90–232 Łódź, Poland
TABLE OF CONTENTS
Simple Logics for Basic Algebras
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Feng GAO, George TOURLAKIS
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
Alexej P. PYNKO
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras
Aldo V. FIGALLO, Gustavo PELAITAY
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense n-valued Łukasiewicz–Moisil algebras. Here we initiate an ...
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempotent operation on A satisfying also some additional axioms. Basic algebras are similar algebras that can roughly be ...
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ...
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)The primary objective of this paper, which is an addendum to the author’s , is to apply the general study of the latter to Łukasiewicz’s n-valued logics . The paper provides an analytical expression of a 2(n−1)-place ...