Filozofická Fakulta

Katedra logiky

Aktuality

Topology, Algebra and Categories in Logic 2017 Summer...

09. květen 2017

Tommaso Moraschini will give a series of four lectures on Abstract Algebraic Logic as a...

02. květen 2017

Ústav filosofie a religionistiky FF UK a Oddělení logiky FLÚ AV ČR vás zvou na přednášku prof....

02. květen 2017

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

NadpisNormal forms, Distributive laws, and Uniform interpolants
Publication TypeBook Chapter
Year2009
AuthorsBílková, M.
EditorBílková, M.
Book TitleConsequence, Inference, Structure
Series TitleMiscellanea Logica
VolumeVII
Stránky35-45
PublisherFF UK
CityPrague
ISBN978-80-7308-261-1