Search results
- 1.0524930 - ÚI 2022 RIV CH eng B - Monography
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
R&D Projects: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
OECD category: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Permanent Link: http://hdl.handle.net/11104/0309152File Download Size Commentary Version Access 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Other open-access - 2.0428704 - ÚI 2015 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Permanent Link: http://hdl.handle.net/11104/0234002File Download Size Commentary Version Access 0428704.pdf 55 992 KB Author´s preprint open-access a0428704.pdf 10 379.6 KB UTIA-UI-Hodnocení AV 2020 Publisher’s postprint require - 3.0345160 - ÚI 2011 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT OC10047
Institutional research plan: CEZ:AV0Z10300504
Keywords : ontology * multi agent systems * first order logics
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0186490 - 4.0087811 - ÚI 2008 SIGLE CZ eng V - Research Report
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.
Institutional research plan: CEZ:AV0Z10300504
Keywords : MAS * bang * KR-HYPER * logic * deduction * description logics * first order logics * agents
Permanent Link: http://hdl.handle.net/11104/0149556File Download Size Commentary Version Access v955-06.pdf 15 196.2 KB Other open-access