Výsledky vyhledávání
- 1.0405484 - UIVT-O 330861 ES eng A - Abstrakt
Cintula, Petr
Deduction Theorems in Weakly Implicative Logics.
Algebraic and Topological Methods in Non-Classical Logics. Barcelona: Universitat de Barcelona, 2005. s. 19-20.
[Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: deduction theorem * substructural logic * BCI logic * weakly implicative logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125646 - 2.0395361 - ÚI 2014 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: ESF/Austrian Science Foundation project(AT) I143-G15
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * deduction theorem * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.525, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223397Název souboru Staženo Velikost Komentář Verze Přístup 0395361.pdf 18 819.2 KB Autorský preprint povolen - 3.0391888 - ÚI 2014 GB eng A - Abstrakt
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in Contraction-Free Logics.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 26-29. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant ostatní: GA UK 73109/2009
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
http://www.easychair.org/publications/?page=1414404771
Trvalý link: http://hdl.handle.net/11104/0220860Název souboru Staženo Velikost Komentář Verze Přístup a0391888.pdf 2 293 KB Vydavatelský postprint vyžádat 0391888.pdf 2 811.3 KB Autorský preprint povolen - 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.0361600 - ÚI 2012 FR eng A - Abstrakt
Cintula, Petr - Noguera, C.
Almost (MP)-based Substructural Logics.
Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
[TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: nonassociative full Lambek calculus * deduction theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198882Název souboru Staženo Velikost Komentář Verze Přístup 0361600.pdf 0 634.9 KB Autorský preprint povolen - 6.0360267 - ÚI 2012 IT eng A - Abstrakt
Cintula, Petr - Noguera, C.
(Non-associative) Substructural Fuzzy logics.
Algebraic Semantics for Uncertainty and Vagueness. Salerno: University of Salerno, 2011. s. 31-37.
[Algebraic Semantics for Uncertainty and Vagueness. 18.05.2011-20.05.2011, Salerno]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: nonassociative full Lambek calculus * deduction theorem * standard completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0197860