Bulletin of the Section of Logic 45/2 (2016)


  1. Authors:
    Marek NOWAK

    Title:
    Quasiorders, Tolerance Relations and Corresponding "Partitions"

    Pages:
    65-78
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Mitio TAKANO

    Title:
    Axiomatization of a Basic Logic of Logical Bilattices

    Pages:
    79-92
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Gemma ROBLES, S. M. L OPEZ, J. M. BLANCO, and M. M. RECIO, J. R. PARADELA

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

    Pages:
    93-110
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    George VOUTSADAKIS

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

    Pages:
    111-124
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Andrzej INDRZEJCZAK

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

    Pages:
    125-140
    File:
    bibtex
    Abstract ( + )