Bulletin of the Section of Logic
Bulletin of the Section of Logic
„The Bulletin of the Section of Logic” (BSL) is a quarterly peer-reviewed journal published with support of the University of Lodz. Its aim is to act as a forum for timely wide dissemination of novel, significant results in logic through rapid publication of papers not exceding 18 pages. The BSL invites especially the contributions dealing directly with logical calculi, their methodology, application and algebraic interpretations.
Papers may be submitted to the Editor-in-Chief or to any of the Collecting Editors.
BRIEF HISTORY In 1972: Ryszard Wójcicki, Head of the Section of Logic of the Polish Academy of Sciences, at that time based in Wrocław, launches the newsletter-journal designed for the exchange of scientific results among members of the Section with their national and international partners and cooperators. Jan Zygmunt was the editor of the first six issues of the journal. 1975: Grzegorz Malinowski takes on the responsibility of the Managing Editor. 1992: The Department of Logic of Łódź University, takes over publication from the Polish Academy of Sciences and changes its publication policy into a regular peer-reviewed journal. Grzegorz Malinowski becomes Editor-in-Chief. 2012: To continue Polish logical tradition the Editors decided retain the name of the journal unchanged.
- Editorial Board
- Grzegorz MALINOWSKI, Department of Logic, University of Lodz, Poland, e-mail: email@example.com
- Collecting Editors: Agata CIABATTONI, Institut fur Computersprachen, Technische Universitat Favoriten str. 9, E185-2, A-1040 Wien, Austria, e-mail: firstname.lastname@example.org
- Janusz CZELAKOWSKI, Institute of Mathematics and Informatics, Opole University, Oleska 48, 45-052 Opole, Poland, e-mail: email@example.com
- J. Michael DUNN, Department of Philosophy, Indiana University, Bloomington, IN 47408, USA, e-mail: firstname.lastname@example.org
- Ramon JANSANA, Department of Logic, History and Philosophy of Sciences University of Barcelona. Montalagre,6 08001 Barcelona, Spain, e-mail: email@example.com
- Norihiro KAMIDE, Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo 169-8050, Japan, e-mail: firstname.lastname@example.org
- Hiroakira ONO, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Tatsunokuchi, Nomi, Ishikawa, 923-1292 Japan, e-mail: email@example.com
- Yaroslav SHRAMKO, Department of Philosophy, Kryvyi Rih National University, Kryvyi Rih, 50086, Ukraine, e-mail: firstname.lastname@example.org
- Executive Editor: Janusz CIUCIURA, Department of Logic, University of Lodz, Poland, e-mail: email@example.com Layout: Beata PROMINSKA, Department of Logic, University of Lodz, Poland e-mail: firstname.lastname@example.org
- Reedition: Szymon FRANKOWSKI, Department of Logic, University of Lodz, Poland, e-mail: email@example.com
Manuscripts can be submitted to the Editor-in-Chief or any member of the Editorial Board. The BSL prefers submissions in standard LaTex, Tex, or AMS-LaTex (BSL-style). For the purpose of refereeing, papers may be submitted either in hard copy (a diskette with the .tex version of the paper should also be included) or via e-mail. Prospective authors should follow the layout of the published BSL papers in the preparation of their manuscripts. Every paper must include an abstract whose electronic version will be used in BSL_ON_LINE. Authors who are unable to comply with these requirements should contact the Editorial Officein advance.
Paper Length should not exceed 18 pages when typesetted in LaTex with the following parameters: 12pt bookstyle, textheight 552.4 pt, textwidth 5in. In exceptional cases an Editor can accept and subsequently recommend a longer paper for publication if the significance and/or the presentation of the paper warrants an additional space.
Footnotes should be avoided as much as possible. When essential, they should be brief and consecutively numbered throughout, with superscript Arabic numbers.
References should be listed in alphabetic order, numbered consecutively, and typed in the same way as the following examples:
 L. Henkin, Some remarks on infinitely long formulas, Proceedings of the Symposium on Foundations of Mathematics: Infinitistic Methods, Warsaw, 1959, Pergamon Press, New-York, and PWN, Warsaw (1961), pp. 167-183.
 S.C. Kleene, Mathematical Logic, John Wiley & Sons, Inc., New York (1967).
 J. Los and R. Suszko, Remarks on sentential logic, Indagationes Mathematicae, 20 (1958), pp. 177-183.
Affiliation and mailing addresses of all the authors should be placed at the end of the paper. When submitting an extended abstract of a paper to BSL, the author(s) should provide the complete bibliographical information about the full paper.
It is the author’s responsibility to obtain the necessary copyright permission from the copyright owner(s) of the submitted paper or extended abstract to publish the submitted material in BSL.
Editorial Office of BSL is hosted by the Department of Logic, University of Lodz, Kopcinskiego 16/18, 90-232 Lodz, Poland, +48 42 6784488.