Vol. 45 No. 2 (2016)

View Vol. 45 No. 2 (2016)
Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma "Bulletin of the Section of Logic”  finansowane w ramach umowy nr 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę
Published: 2016-06-30

  • Quasiorders, Tolerance Relations and Corresponding “Partitions”

    Marek Nowak (Author)
    65–78
    DOI: https://doi.org/10.18778/0138-0680.45.2.01

  • Axiomatization of a Basic Logic of Logical Bilattices

    Mitio Takano (Author)
    79–91
    DOI: https://doi.org/10.18778/0138-0680.45.2.02

  • A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

    Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio, Jesús R. Paradela (Author)
    93–109
    DOI: https://doi.org/10.18778/0138-0680.45.2.03

  • Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

    George Voutsadakis (Author)
    111–124
    DOI: https://doi.org/10.18778/0138-0680.45.2.04

  • Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

    Andrzej Indrzejczak (Author)
    125–140
    DOI: https://doi.org/10.18778/0138-0680.45.2.05