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.0484922 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Lávička, Tomáš - Noguera, Carles
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Studia Logica. Roč. 106, č. 6 (2018), s. 1065-1095. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Abstract algebraic logic * Infinitary logics * Natural extensions * Natural expansions * Semilinear logics * Subdirect representation
Obor OECD: Pure mathematics
Impakt faktor: 0.467, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/lavicka-0484922.pdf
Trvalý link: http://hdl.handle.net/11104/0280148 - 3.0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (semilinear) logics III: completeness properties.
Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.574, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273436Název souboru Staženo Velikost Komentář Verze Přístup 0477040.pdf 9 1.2 MB GSp Autorský postprint povolen - 4.0448459 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.394, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250156Název souboru Staženo Velikost Komentář Verze Přístup 0448459.pdf 5 888.6 KB Autorský preprint vyžádat - 5.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 - 6.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 - 7.0432930 - ÚI 2015 RIV CH eng M - Část monografie knihy
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The Quest for the Basic Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GAP202/10/1826; GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Grant ostatní: MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0237239Název souboru Staženo Velikost Komentář Verze Přístup 0432930.pdf 3 567.9 KB Autorský preprint vyžádat - 8.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 - 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.0372981 - ÚI 2012 RIV GB eng M - Část monografie knihy
Cintula, Petr - Noguera, C.
A General Framework for Mathematical Fuzzy Logic. Chapter 2.
Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 103-207. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
Grant CEP: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * weakly implicative logics * abstract algebraic logic * non-classical logics * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206164Název souboru Staženo Velikost Komentář Verze Přístup 0372981.pdf 17 2.1 MB Vydavatelský postprint vyžádat