Výsledky vyhledávání
- 1.0428704 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812. E-ISSN 1943-5886
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 logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0234002Název souboru Staženo Velikost Komentář Verze Přístup 0428704.pdf 55 992 KB Autorský preprint povolen a0428704.pdf 10 379.6 KB UTIA-UI-Hodnocení AV 2020 Vydavatelský postprint vyžádat - 2.0404839 - UIVT-O 20020209 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Medina, J. - Ojeda-Aciego, M. - Vojtáš, Peter
A Procedural Semantics for Multi-adjoint logic Programming.
Progress in Artificial Intelligence. Knowledge Extraction, multi-agent Systems, Logic Programming and Constraint Solving. Berlin: Springer, 2001 - (Brazdil, P.; Jorge, A.), s. 290-297. Lecture Notes in Artificial Intelligence, 2258. ISBN 3-540-43030-X.
[EPIA 2001. Portuguese Conference on Artificial Intelligence /6./. Porto (PT), 17.12.2001-20.12.2001]
Grant ostatní: VEGA(SK) 1/7557/20
Výzkumný záměr: AV0Z1030915
Klíčová slova: many valued logic programming * procedural semantics * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125069 - 3.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 - 4.0377617 - ÚI 2013 CO eng A - Abstrakt
Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav - Noguera, C.
Semilinear non-associative substructural logics: completeness properties and complexity.
SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 63.
[SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * non-associative full Lambek logic * lattice-ordered residuated unital groupoids * completeness theorem * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0209726Název souboru Staženo Velikost Komentář Verze Přístup 0377617.pdf 0 159.7 KB Autorský preprint povolen - 5.0362933 - MÚ 2012 RIV CZ cze B - Monografie kniha jako celek
Sochor, Antonín
Logika pro všechny ochotné myslet.
[Logic for all willing to think.]
1. - Praha: Karolinum, 2011. 363 s. ISBN 978-80-246-1959-0
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0199099 - 6.0041857 - ÚI 2007 RIV US eng J - Článek v odborném periodiku
Hájek, Petr - Cintula, Petr
On Theories and Models in Fuzzy Predicate Logics.
[O teoriích a modelech v predikátových fuzzy logikách.]
Journal of Symbolic Logic. Roč. 71, č. 3 (2006), s. 863-880. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * model theory * witnessed models * conservative extension * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.664, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0135210Název souboru Staženo Velikost Komentář Verze Přístup 0041857.pdf 21 757.9 KB Autorský preprint povolen