Sledované semináře

RSS

Pozvánka na přednášku semináře

  • Jamie Wannenburg (University of Pretoria):

    Some algebraic (and topological) tools and their application to logic

    16.12.2020 16:00Místnost ZOOM @ Ústav informatiky
    Pod Vodárenskou věží 2
    Praha, 182 00
    Seminář aplikované matematické logiky

    The talk will be a non-technical overview of the speaker’s research interests, for the purpose of introducing the researcher to the working group. The main areas of interest are Abstract Algebraic Logic, Universal Algebra, and Substructural Logic—with a focus on Relevance and Intuitionistic Logics. But the talk will focus on a handful of specific tools from these areas, ex. Birkhoff’s Theorem, Jónsson's Theorem, some Bridge theorems and Esakia Duality, emphasising their applications and giving examples from the speaker's previous research.

Předchozí přednášky