Výsledky vyhledávání
- 1.0537229 - ÚTIA 2022 RIV NL eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
Lindström theorems in graded model theory.
Annals of Pure and Applied Logic. Roč. 172, č. 3 (2021), č. článku 102916. ISSN 0168-0072. E-ISSN 1873-2461
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Lindström theorem * Abstract model theory * Many-valued predicate logics
Obor OECD: Applied mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537229.pdf https://www.sciencedirect.com/science/article/pii/S0168007220301408
Trvalý link: http://hdl.handle.net/11104/0314998 - 2.0512111 - ÚI 2020 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Cintula, Petr (ed.) - Weber, Z. (ed.) - Ju, S. (ed.)
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”.
239 s. In: Logic Journal of the IGPL. Oxford University Press. Roč. 27, č. 4 (2019), s. 385-623. ISSN 1367-0751. E-ISSN 1368-9894.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. Guangzhou (CN), 04.12.2017-07.12.2017]
Institucionální podpora: RVO:67985807
Klíčová slova: Non-classical logic * modal logic * predicate logics
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0302318 - 3.0469168 - ÚTIA 2017 RIV GB eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Logic Journal of the IGPL. Roč. 24, č. 3 (2016), s. 321-345. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985556
Klíčová slova: Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.575, rok: 2016
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf
Trvalý link: http://hdl.handle.net/11104/0269405 - 4.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 - 5.0422069 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G.
Herbrand Theorems for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
[LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
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/0228284Název souboru Staženo Velikost Komentář Verze Přístup a0422069.pdf 0 292.6 KB Vydavatelský postprint vyžádat 0422069.pdf 7 795.9 KB Autorský preprint povolen - 6.0328435 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Hájek, Petr
Triangular Norm Based Predicate Fuzzy Logics.
[T-normové predikátové fuzzy logiky.]
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 311-346. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR KJB100300502; GA ČR GEICC/08/E018; GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * predicate logics * t-norms * standard semantics * arithmetical hierarchy * core fuzzy logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.875, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0174750Název souboru Staženo Velikost Komentář Verze Přístup 0328435.pdf 8 859.3 KB Autorský preprint povolen - 7.0322753 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II.
[Aritmetická složitost fuzzy predikátových logik - přehled II.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 212-219. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logics * arithmetical hierarchy * tautologies
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0170919