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


Table of contents




  • 1. Marek NOWAK, Quasiorders, Tolerance Relations and Corresponding "Partitions"65

  • 2. Mitio TAKANO, Axiomatization of a Basic Logic of Logical Bilattices79

  • 3. Gemma ROBLES, S. M. L OPEZ, J. M. BLANCO, and M. M. RECIO, J. R. PARADELA, A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E493

  • 4. George VOUTSADAKIS, Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions111

  • 5. Andrzej INDRZEJCZAK, Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus125