Vol. 45 No. 2 (2016)

Research Article

• Quasiorders, Tolerance Relations and Corresponding “Partitions”

  Marek Nowak

  65–78

  • Full Article

• Axiomatization of a Basic Logic of Logical Bilattices

  Mitio Takano

  79–91

  • Full Article

• 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

  93–109

  • Full Article

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

  George Voutsadakis

  111–124

  • Full Article

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

  Andrzej Indrzejczak

  125–140

  • Full Article