| bibtype |
J -
Journal Article
|
| ARLID |
0395361 |
| utime |
20250112215648.7 |
| mtime |
20130910235959.9 |
| WOS |
000323167200002 |
| SCOPUS |
84882309468 |
| DOI |
10.1017/S1755020313000099 |
| title
(primary) (eng) |
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0343866 |
| ISSN |
1755-0203 |
| title
|
Review of Symbolic Logic |
| volume_id |
6 |
| volume |
3 (2013) |
| page_num |
394-423 |
| publisher |
| name |
Cambridge University Press |
|
|
| keyword |
nonassociative full Lambek calculus |
| keyword |
deduction theorem |
| keyword |
standard completeness |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| garant |
K |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0208971 |
| name1 |
Horčík |
| name2 |
Rostislav |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| project |
| project_id |
GBP202/12/G061 |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0285549 |
|
| project |
| project_id |
I143-G15 |
| agency |
ESF/Austrian Science Foundation project |
| country |
AT |
| ARLID |
cav_un_auth*0301464 |
|
| RIV |
BA |
| reportyear |
2014 |
| mrcbC52 |
4 A 4a 4a 4o 20250112215648.8 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0223397 |
| mrcbT16-e |
LOGIC|MATHEMATICS|MATHEMATICSAPPLIED |
| mrcbT16-f |
0.626 |
| mrcbT16-g |
0.139 |
| mrcbT16-i |
0.00108 |
| mrcbT16-j |
0.438 |
| mrcbT16-k |
97 |
| mrcbT16-l |
36 |
| mrcbT16-s |
0.779 |
| mrcbT16-z |
ScienceCitationIndexExpanded |
| mrcbT16-4 |
Q1 |
| mrcbT16-B |
33.819 |
| mrcbT16-C |
45.477 |
| mrcbT16-D |
Q3 |
| mrcbT16-E |
Q1 |
| arlyear |
2013 |
| mrcbTft |
\nSoubory v repozitáři: dodatecne_citace_k_0395361.pdf, a0395361.pdf, 0395361.pdf |
| mrcbU14 |
84882309468 SCOPUS |
| mrcbU34 |
000323167200002 WOS |
| mrcbU63 |
cav_un_epca*0343866 Review of Symbolic Logic 1755-0203 1755-0211 Roč. 6 č. 3 2013 394 423 Cambridge University Press |
|