Institute of Information Theory and Automation

You are here

Bibliography

Abstract

Dense completeness theorem for protoalgebraic logics

Cintula Petr, Noguera Carles

: Topology, Algebra and Categories in Logic. Booklet of Abstracts, p. 55-57

: TACL 2015. Topology, Algebra and Categories in Logic, (Ischia, IT, 21.06.2015-26.06.2015)

: GA13-14654S, GA ČR

: BA

2019-01-07 08:39