Journal Article

Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties

Cintula Petr, Horčík Rostislav, Noguera Carles

: Review of Symbolic Logic vol.6, 3 (2013), p. 394-423

: GBP202/12/G061, GA ČR, I143-G15, ESF/Austrian Science Foundation project

: nonassociative full Lambek calculus, deduction theorem, standard completeness

: 10.1017/S1755020313000099

: BA