Number of the records: 1
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
- 1.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
Impact factor: 0.510, year: 2015
http://hdl.handle.net/11104/0234002
Number of the records: 1