Basket

0395361 - ÚI 2014 RIV GB eng J - Journal Article
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GBP202/12/G061
Grant - others:ESF/Austrian Science Foundation project(AT) I143-G15
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * deduction theorem * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.525, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223397