Bulletin of the Section of Logic 47/4 (2018)


  1. Authors:
    Tomoaki KAWANO

    Title:
    Labelled Sequent Calculus for Orthologic

    Pages:
    217-232
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Marcin ŁYCZAK and Andrzej PIETRUSZCZAK

    Title:
    On the Definability of Leśniewski's Copula 'is' in Some Ontology-like Theories

    Pages:
    233-263
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Rule-Generation Theorem and Its Applications

    Pages:
    265-281
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Rajabali A. BORZOOEI and S. Saidi GORAGHANI

    Title:
    On Injective MV-modules

    Pages:
    283-298
    File:
    bibtex
    Abstract ( + )