Bulletin of the Section of Logic 44/3-4 (2015)
Browse by
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 significant 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 Office:Department of Logic, University of Łódź
ul. Kopcińskiego 16/18, 90–232 Łódź, Poland
e-mail: bulletin@uni.lodz.pl
Homepage: http://www.uni.lodz.pl/bulletin
TABLE OF CONTENTS
-
Simple Logics for Basic Algebras
Ja̅nis CI̅RULIS
-
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Zofia KOSTRZYCKA
-
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
Recent Submissions
-
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras
(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 ... -
Simple Logics for Basic Algebras
(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 ... -
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
(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 ... -
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
(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. -
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place ...