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
page_count 30 s.
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