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 |
|