Dense completeness theorem for protoalgebraic logics

Bibliografické údaje

Autoři

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

Rok vydání

2015

Typ publikace

Abstrakt

Periodikum

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projekty

• Neklasické výrokové a predikátové logiky: přístup založený na uspořádání

Bibliografická citace

CINTULA, Petr, NOGUERA, Carles. Dense completeness theorem for protoalgebraic logics. In: Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015, S. 55-57.

ID

446017