Výsledky vyhledávání
- 1.0524930 - ÚI 2022 RIV CH eng B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
Grant CEP: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
Obor OECD: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Trvalý link: http://hdl.handle.net/11104/0309152Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Jiná povolen - 2.0439938 - ÚI 2015 CZ eng I - Interní tisk
Cintula, Petr
Mathematical Fuzzy Logic: From Theory to Application.
Praha: ČVUT, 2014. 20 s. Habilitační přednášky, 25. ISBN 978-80-01-05602-8
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * mathematical fuzzy logic * truth degrees * vagueness * Lukasiewicz logic * MV-algebras * abstract algebraical logic * consequence relation * weakly implicative logics * semilinear logics * probability theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0243142 - 3.0438525 - ÚI 2015 CZ eng D - Dizertace
Cintula, Petr
A General Framework for Mathematical Fuzzy Logic.
Czech Technical University in Prague, Faculty of Nuclear Sciences and Physical Engineering. Obhájeno: Prague. 20.11.2014. - Prague: Czech Technical University in Prague, 2014. 136 s. Habilitation Thesis, KH-110.
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0241893Název souboru Staženo Velikost Komentář Verze Přístup 0438525.pdf 31 1.2 MB Jiná povolen - 4.0431685 - ÚI 2015 AT eng A - Abstrakt
Běhounek, Libor
Church-style type theories over finitary weakly implicative logics.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236270Název souboru Staženo Velikost Komentář Verze Přístup a0431685.pdf 0 440.4 KB Vydavatelský postprint povolen - 5.0431413 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
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; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0235975Název souboru Staženo Velikost Komentář Verze Přístup 0431413.pdf 8 880.5 KB Autorský preprint povolen a0431413.pdf 2 282.6 KB Vydavatelský postprint vyžádat - 6.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 - 7.0405451 - UIVT-O 330826 CH eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Fuzzy Logics among Weakly Implicative Logics.
UNILOG'05 - Handbook. Neuchatel: University of Neuchatel, 2005 - (Beziau, J.; Costa-Leite, A.). s. 53-54
[World Congress and School on Universal Logic /1./. 26.03.2005-03.04.2005, Montreux]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logics * implicative logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125615 - 8.0405450 - UIVT-O 330825 CH eng A - Abstrakt
Cintula, Petr
Fuzzy Logics in the Logical Landscape.
UNILOG'05 - Handbook. Neuchatel: University of Neuchatel, 2005 - (Beziau, J.; Costa-Leite, A.). s. 60
[World Congress and School on Universal Logic /1./. 26.03.2005-03.04.2005, Montreux]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fyzzy logics * implicative logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125614 - 9.0393990 - ÚI 2014 AT eng D - Dizertace
Cintula, Petr
Universal Methods in Mathematical Fuzzy Logic.
Technische Universität Wien, Fakultät Für Informatik. Obhájeno: Wien. 2013. - Wien: Technische Universität Wien, Fakultät Für Informatik, 2012. 259 s. Habilitationsschrift, KH-85.
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0222322Název souboru Staženo Velikost Komentář Verze Přístup 0393990.pdf 18 3.9 MB Jiná 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