Sommaire

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Axiomatization of a Basic Logic of Logical Bilattices
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
Quasiorders, Tolerance Relations and Corresponding “Partitions”
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus