Výsledky vyhledávání
- 1.0474580 - ÚI 2018 PL eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Logic and Implication.
XXII Conference Applications of Logic in Philosophy and the Foundations of Mathematics. Wroclaw: University of Wroclav, 2017 - (Siemienczuk, K.; Skowron, B.; Selinger, M.). s. 5-7. ISBN 978-83-940690-3-2.
[Applications of Logic in Philosophy and the Foundations of Mathematics /22./. 08.05.2017-12.05.2017, Szklarska Poreba]
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0271598Název souboru Staženo Velikost Komentář Verze Přístup a0474580.pdf 3 411.5 KB Vydavatelský postprint povolen - 2.0439031 - ÚI 2015 AU eng A - Abstrakt
Běhounek, Libor - Cintula, Petr - Noguera, Carles
Fuzzy logics as logics of linearly ordered resources I: Motivation and apparatus.
Vagueness via Nonclassical Logics. Sydney: University od Sydney, 2014. s. 2-2.
[Vagueness via Nonclassical Logics. 17.12.2014-20.12.2014, Sydney]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242342Název souboru Staženo Velikost Komentář Verze Přístup a0439031.pdf 3 130.6 KB Vydavatelský postprint povolen - 3.0439029 - ÚI 2015 AU eng A - Abstrakt
Běhounek, Libor - Cintula, Petr - Noguera, Carles
Fuzzy logics as logics of linearly ordered resources II: Applications.
Vagueness via Nonclassical Logics. Sydney: University od Sydney, 2014. s. 3-3.
[Vagueness via Nonclassical Logics. 17.12.2014-20.12.2014, Sydney]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242343Název souboru Staženo Velikost Komentář Verze Přístup a0439029.pdf 2 142 KB Vydavatelský postprint povolen - 4.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 - 5.0438106 - ÚI 2015 IL eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Introduction to Mathematical Fuzzy Logic. Tutorial.
ISRALOG'14 Abstracts. Haifa: Faculty of Social Sciences, 2014. s. 4-4.
[ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./. 29.09.2014-01.10.2014, Haifa]
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0241611 - 6.0438105 - ÚI 2015 IL eng A - Abstrakt
Dellunde, P. - García-Cerdana, A. - Noguera, Carles
Löwenheim–Skolem theorems for first-order algebraizable logics.
ISRALOG'14 Abstracts. Haifa: Faculty of Social Sciences, 2014. s. 29-32.
[ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./. 29.09.2014-01.10.2014, Haifa]
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0241583 - 7.0430881 - ÚI 2015 DE eng A - Abstrakt
Cintula, Petr - Noguera, Carles
A Gentle Introduction to Mathematical Fuzzy Logic.
ESSLI 2014. University of Tübingen, 2014. s. 21-21.
[ESSLI 2014. European Summer School in Logic, Language and Information /26./. 11.08.2014-22.08.2014, Tübingen]
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * propositional fuzzy logic * predicate fuzzy logic * metamathematics of fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0235544 - 8.0391879 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
A note on the hierarchy of algebraizable logics.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 356-357
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * algebraizable logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220853Název souboru Staženo Velikost Komentář Verze Přístup a0391879.pdf 0 523.9 KB Vydavatelský postprint povolen - 9.0391878 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
On the scope of the completeness theorem for first-order predicate logic.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 223-223
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * firts-order logics * Henkin theories * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220852Název souboru Staženo Velikost Komentář Verze Přístup a0391878.pdf 0 397.9 KB Vydavatelský postprint povolen - 10.0391873 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Logic, Algebra and Implication.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 34-35
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * weakly implicative logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220848Název souboru Staženo Velikost Komentář Verze Přístup a0391873.pdf 0 425 KB Vydavatelský postprint povolen