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]
No references recorded for this publication.
No citations of this publication recorded.