Výsledky vyhledávání
- 1.0456876 - MÚ 2017 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
A note on the substructural hierarchy.
Mathematical Logic Quarterly. Roč. 62, 1-2 (2016), s. 102-110. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: substructural hierarchy * full Lambek calculus * extension variables
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.250, rok: 2016
http://dx.doi.org/10.1002/malq.201500066
Trvalý link: http://hdl.handle.net/11104/0257350Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 2 178 KB Vydavatelský postprint vyžádat - 2.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 - 3.0431690 - ÚI 2015 AT eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
On satisfiability of terms in FLew-algebras.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 191-193
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * Full Lambek calculus with exchange and weakening * satisfiability of terms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236274Název souboru Staženo Velikost Komentář Verze Přístup a0431690.pdf 0 431.1 KB Vydavatelský postprint povolen - 4.0422077 - ÚI 2014 ZA eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Trvalý link: http://hdl.handle.net/11104/0228293Název souboru Staženo Velikost Komentář Verze Přístup 0422077.pdf 0 79 KB Jiná povolen - 5.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 - 6.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 - 7.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 - 8.0328480 - ÚI 2010 US eng A - Abstrakt
Horčík, Rostislav
Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete.
BLAST 2009. Las Cruses: New Mexico State University, 2009. s. 26-26.
[BLAST 2009. 10.08.2009-14.08.2009, Las Cruces]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: disjunction property * full Lambek calculus with exchange and weakening * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174786 - 9.0089510 - ÚI 2008 GB eng A - Abstrakt
Horčík, Rostislav - Bílková, Marta
Notes on Complexity of monoidal t-norms based logic and its extensions.
Topological and Algebraic Methods in Non-Classical Logics. Oxford: University of Oxford, 2007. s. 20-20.
[Topological and Algebraic Methods in Non-Classical Logics /3./. 05.08.2007-09.08.2007, Oxford]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logic * left-continuous t-norm complexity * full Lambek calculus with exchange and weakening
Trvalý link: http://hdl.handle.net/11104/0150702