Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties

Petr Cintula, Rostislav HorcĂ­k, Carles Noguera. Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rew. Symb. Logic, 6(3):394-423, 2013. [doi]

Abstract

Abstract is missing.