Výsledky vyhledávání
- 1.0461992 - ÚI 2017 ZA eng A - Abstrakt
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Coalgebraic Logics.
45. Geomechanik - Kolloquium. Freiberg: Technische Universität Bergakademie Freiberg, Institut für Geotechnik, 2016 - (Konietzky, H.). s. 33-35. ISSN 1611-1605.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261520Název souboru Staženo Velikost Komentář Verze Přístup a0461992.pdf 0 164.9 KB Vydavatelský postprint povolen - 2.0453148 - ÚI 2016 CH eng A - Abstrakt
Bílková, Marta
Expressivity of many-valued modal logics, coalgebraically.
ManyVal 2015. University of Bern, 2015. s. 6-7.
[ManyVal 2015. 11.12.2015-13.12.2015, Les Diablerets]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0254023Název souboru Staženo Velikost Komentář Verze Přístup 0453148.pdf 7 1.1 MB Autorský preprint povolen - 3.0439019 - ÚI 2015 IT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Combining logics using two-layer modal syntax.
Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 7-8.
[Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242337Název souboru Staženo Velikost Komentář Verze Přístup a0439019.pdf 2 489.2 KB Vydavatelský postprint povolen - 4.0431691 - ÚI 2015 AT eng A - Abstrakt
Přenosil, Adam
De Morgan logics with a notion of consistency.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 246-250
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236275Název souboru Staženo Velikost Komentář Verze Přístup a0431691.pdf 1 458.4 KB Vydavatelský postprint povolen - 5.0431686 - ÚI 2015 AT eng A - Abstrakt
Chvalovský, Karel
Undecidability of consequence relation in Full Non-associative Lambek Calculus.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 153-154
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
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
Trvalý link: http://hdl.handle.net/11104/0236272Název souboru Staženo Velikost Komentář Verze Přístup a0431686.pdf 0 308 KB Vydavatelský postprint povolen - 6.0431606 - ÚI 2015 FR eng A - Abstrakt
Daniel, Milan
A Step Towards a Conflicting Part of a Belief Function on Three-element Frame of Discernment.
Proceedings of the Eighth International Symposium on Imprecise Probability: Theories adn Applications. Compiegne: Society for Imprecise Probability: Theories and Applications, 2013. s. 388-389. ISBN 978-2-913923-35-5.
[ISIPTA 2013. International Symposium on Imprecise Probability /8./. 02.07.2013-05.07.2013, Compiegne]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: belief function * Dempster-Shafer theory * Dempster’s semigroup * conflict between belief functions * uncertainty * non-conflicting part of belief function * conflicting part of belief function
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236206Název souboru Staženo Velikost Komentář Verze Přístup 0431606_poster.pdf 2 1.4 MB Jiná povolen 0431606.pdf 1 604.1 KB Autorský preprint povolen - 7.0430592 - ÚI 2015 GB eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Two-layer modal logics: from fuzzy logics to a general framework.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 43-47. ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=337395348
Trvalý link: http://hdl.handle.net/11104/0235501Název souboru Staženo Velikost Komentář Verze Přístup a0430592.pdf 1 105 KB Vydavatelský postprint vyžádat - 8.0427493 - ÚI 2015 AT eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Skolem and Herbrand theorems for uninorm-based fuzzy logics.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 29-33
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233023Název souboru Staženo Velikost Komentář Verze Přístup a0427493.pdf 1 97 KB Vydavatelský postprint povolen - 9.0422080 - ÚI 2014 ZA eng A - Abstrakt
Cintula, Petr - Noguera, Carles
A Completeness Theorem for Two-Layer Modal Logics.
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: mathematical fuzzy logic * modal logic * probability
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Noguera-Cintula.pdf
Trvalý link: http://hdl.handle.net/11104/0228294Název souboru Staženo Velikost Komentář Verze Přístup 0422080.pdf 0 100.8 KB Jiná povolen - 10.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