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 ; AIS: 0.724, rok: 2015
DOI: https://doi.org/10.1017/jsl.2014.19
Permanent Link: http://hdl.handle.net/11104/0234002