Vol. 47 No. 4 (2018)

Research Article

• Labeled Sequent Calculus for Orthologic

  Tomoaki Kawano (Author)

  217–232

  • Full Article

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

  Marcin Łyczak, Andrzej Pietruszczak (Author)

  233–263

  • Full Article

• Rule-Generation Theorem and its Applications

  Andrzej Indrzejczak (Author)

  265–281

  • Full Article

• On Injective MV-Modules

  Rajabali A. Borzooei, S. Saidi Goraghani (Author)

  283–298

  • Full Article