Completeness theorem for first-order algebraizable logics
Bibliographic details
Authors
Petr Cintula, Carles Noguera
Publication year
Publication type
Abstrakt
Periodical
CLMPS 2015 & LC 2015. Book of Abstracts
Bibliographic citation
CINTULA, Petr, NOGUERA, Carles. Completeness theorem for first-order algebraizable logics. In: NEVALAINEN, I., VIRTANEN, M., SEPPÄLÄ, P., eds. CLMPS 2015 & LC 2015. Book of Abstracts. Helsinki: University of Helsinki, 2015, S. 681-681.
