Completeness theorem for first-order algebraizable logics

Bibliografické údaje

Autoři

• doc. Ing. Petr Cintula, Ph.D. DSc.

Rok vydání

2015

Typ publikace

Abstrakt

Periodikum

CLMPS 2015 & LC 2015. Book of Abstracts

Bibliografická citace

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.

ID

446556