Sommaire

Labeled Sequent Calculus for Orthologic
On Injective MV-Modules
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
Rule-Generation Theorem and its Applications