Vol. 47 No. 4 (2018)

View Vol. 47 No. 4 (2018)
Published: 2018-12-30

  • Labeled Sequent Calculus for Orthologic

    Tomoaki Kawano (Author)
    217–232
    DOI: https://doi.org/10.18778/0138-0680.47.4.01

  • On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories

    Marcin Łyczak, Andrzej Pietruszczak (Author)
    233–263
    DOI: https://doi.org/10.18778/0138-0680.47.4.02

  • Rule-Generation Theorem and its Applications

    Andrzej Indrzejczak (Author)
    265–281
    DOI: https://doi.org/10.18778/0138-0680.47.4.03

  • On Injective MV-Modules

    Rajabali A. Borzooei, S. Saidi Goraghani (Author)
    283–298
    DOI: https://doi.org/10.18778/0138-0680.47.4.04