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]

Authors

Petr Cintula

This author has not been identified. Look up 'Petr Cintula' in Google

Rostislav Horcík

This author has not been identified. Look up 'Rostislav Horcík' in Google

Carles Noguera

This author has not been identified. Look up 'Carles Noguera' in Google