Geodesic

Volume 47 (2018) no. 4

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