Ústav teorie informace a automatizace

Jste zde

Bibliografie

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

07.01.2019 - 08:39