Search results
- 1.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 - 2.0391878 - ÚI 2014 PT eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * firts-order logics * Henkin theories * completeness theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220852File Download Size Commentary Version Access a0391878.pdf 0 397.9 KB Publisher’s postprint open-access