TítuloNon-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
Publication TypeJournal Article
Year of Publication2013
AuthorsCintula P, Horcík R, Noguera C
JournalReview of Symbolic Logic
Volume6
Paginación394 - 423