0395361 20250112215648.720130910235959.9 000323167200002 84882309468 10.1017/S1755020313000099 30 s. cav_un_epca*03438661755-020363 (2013)394-423Cambridge University Press nonassociative full Lambek calculus deduction theorem standard completeness cav_un_auth*0100737 Cintula Petr UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science K Ústav informatiky AV ČR, v. v. i. cav_un_auth*0208971 Horčík Rostislav UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. GBP202/12/G061 GA ČR cav_un_auth*0285549 I143-G15 ESF/Austrian Science Foundation project AT cav_un_auth*0301464 BA 2014 4 A 4a 4a 4o 20250112215648.8 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0223397 LOGIC|MATHEMATICS|MATHEMATICSAPPLIED 0.626 0.139 0.00108 0.438 97 36 0.779 ScienceCitationIndexExpanded Q1 33.819 45.477 Q3 Q1 2013 Soubory v repozitáři: dodatecne_citace_k_0395361.pdf, a0395361.pdf, 0395361.pdf 84882309468 SCOPUS 000323167200002 WOS cav_un_epca*0343866 Review of Symbolic Logic 1755-0203 1755-0211 Roč. 6 č. 3 2013 394 423 Cambridge University Press