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.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 - 3.0345160 - ÚI 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Neruda, Roman
Reasoning about Computational Agents in FOL.
Proceedings of the Third International Conference on Modelling and Simulation. Mill Lane: World Academic Union, 2010 - (Yiang, Y.; Yu, J.), s. 1-6. Modelling and Simulation. ISBN 978-1-84626-155-8.
[ICMS 2010. International Conference on Modelling and Simulation /3./. Wuxi (CN), 04.06.2010-06.06.2010]
Grant CEP: GA MŠMT OC10047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: ontology * multi agent systems * first order logics
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0186490 - 4.0087811 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
Beuster, G. - Neruda, Roman - Pelzer, B.
Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
Prague: ICS AS CR, 2006. 23 s. Technical Report, V-955.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: MAS * bang * KR-HYPER * logic * deduction * description logics * first order logics * agents
Trvalý link: http://hdl.handle.net/11104/0149556Název souboru Staženo Velikost Komentář Verze Přístup v955-06.pdf 15 196.2 KB Jiná povolen