Bibliography
Journal Article
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties
, ,
: 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
: BA