Search results
- 1.0461992 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261520File Download Size Commentary Version Access a0461992.pdf 0 164.9 KB Publisher’s postprint open-access - 2.0453148 - ÚI 2016 CH eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0254023File Download Size Commentary Version Access 0453148.pdf 7 1.1 MB Author´s preprint open-access - 3.0439019 - ÚI 2015 IT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0242337File Download Size Commentary Version Access a0439019.pdf 2 489.2 KB Publisher’s postprint open-access - 4.0431691 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236275File Download Size Commentary Version Access a0431691.pdf 1 458.4 KB Publisher’s postprint open-access - 5.0431686 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236272File Download Size Commentary Version Access a0431686.pdf 0 308 KB Publisher’s postprint open-access - 6.0431606 - ÚI 2015 FR eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : belief function * Dempster-Shafer theory * Dempster’s semigroup * conflict between belief functions * uncertainty * non-conflicting part of belief function * conflicting part of belief function
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236206File Download Size Commentary Version Access 0431606_poster.pdf 2 1.4 MB Other open-access 0431606.pdf 1 604.1 KB Author´s preprint open-access - 7.0430592 - ÚI 2015 GB eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Subject RIV: BA - General Mathematics
http://easychair.org/publications/?page=337395348
Permanent Link: http://hdl.handle.net/11104/0235501File Download Size Commentary Version Access a0430592.pdf 1 105 KB Publisher’s postprint require - 8.0427493 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233023File Download Size Commentary Version Access a0427493.pdf 1 97 KB Publisher’s postprint open-access - 9.0422080 - ÚI 2014 ZA eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * modal logic * probability
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Noguera-Cintula.pdf
Permanent Link: http://hdl.handle.net/11104/0228294File Download Size Commentary Version Access 0422080.pdf 0 100.8 KB Other open-access - 10.0422077 - ÚI 2014 ZA eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Permanent Link: http://hdl.handle.net/11104/0228293File Download Size Commentary Version Access 0422077.pdf 0 79 KB Other open-access