Výsledky vyhledávání
- 1.0442807 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.511, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0245628Název souboru Staženo Velikost Komentář Verze Přístup a0442807.pdf 8 369.7 KB Vydavatelský postprint vyžádat - 2.0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0239734Název souboru Staženo Velikost Komentář Verze Přístup a0435915.pdf 5 373.1 KB Vydavatelský postprint vyžádat 0435915.pdf 2 1 MB Autorský preprint vyžádat - 3.0420892 - ÚI 2014 RIV PL eng J - Článek v odborném periodiku
Chvalovský, Karel
Note on D-Completeness and Prelinearity.
Bulletin of the Section of Logic. Roč. 42, 3-4 (2013), s. 111-118. ISSN 0138-0680
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Institucionální podpora: RVO:67985807
Klíčová slova: logic * proof theory * condensed detachment * prelinearity
Kód oboru RIV: BA - Obecná matematika
http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_2.pdf
Trvalý link: http://hdl.handle.net/11104/0227351 - 4.0376591 - ÚI 2013 RIV DE eng J - Článek v odborném periodiku
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in contraction-free logics.
Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: Austrian Science Fund (FWF)(AT) START Y544-N23
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.376, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0208951Název souboru Staženo Velikost Komentář Verze Přístup 0376591.pdf 1 848.5 KB GSp Autorský preprint povolen - 5.0370261 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Chvalovský, Karel
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK(CZ) 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.749, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0204111Název souboru Staženo Velikost Komentář Verze Přístup 0370261.pdf 0 582.8 KB Autorský preprint povolen