Nadcházející semináře

  • Matteo Pascucci (TU Vienna): Checking cohesiveness in canonical models

    17.10.2018 16:00 @ Applied Mathematical Logic

    In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of isolated frames, since its domain includes at least one pair of states that are not related by any accessibility walk; they call such frames ?non-cohesive?. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. In this presentation we show that canonical models of some relevant classes of normal monomodal and bimodal systems are always non-cohesive.

  • Vít Punčochář (FLU CAS): Logics of conditionals

    24.10.2018 16:00 @ Applied Mathematical Logic

    In my talk, I will discuss several paradoxes of material implication". In general, these paradoxes" are inference patterns that involve implication and are classified as valid by classical logic despite their highly unintuitive character. I will focus mainly on inference patterns, in which implication interacts with disjunction and negation. In these cases, classical logic seems to give particularly unsatisfactory predictions" about validity. However, the most famous theories that avoided these unwanted features of classical logic usually removed also some important parts of classical logic that are highly plausible (e.g. the inference from A or B to if not-A, then B). I will propose a semantic theory (and a corresponding deductive calculus) that has the ambition to avoid the most serious paradoxes and, at the same time, to preserve the acceptable parts of classical logic.

  • Igor Sedlár (ICS CAS): Fine-grained modal logics: A simple approach

    31.10.2018 16:00 @ Applied Mathematical Logic

    A logic is fine-grained (or hyperintensional) if valid equivalence is not a kongruence relation on the set of formulas. Such logics are studied by philosophical logicians at least since the 1970s (Cresswell) and they rose to prominence once again in recent work by Fine, Berto, Leitgeb and others. We present a simple yet fairly general framework for fine-grained extensions of normal modal logics and show how the framework relates to some recent approaches.

  • Aleksander Owczarek, Ph.D., DSc., Eng. (Medical University of Silesia in Katowice): A time-domain-constrained fuzzy clustering method in biomedical data analysis

    1.11.2018 14:00 @ Semináře ISCB ČR

    Mezinárodní společnost pro klinickou biostatistiku v České republice, z. s. ve spolupráci s Ústavem informatiky AV ČR, v.v.i. si Vás dovoluje pozvat na přednášku A. Owczarek, Ph.D., DSc., Eng. Department of Instrumental Analysis Faculty of Pharmacy and Laboratory Medicine in Sosnowiec Medical University of Silesia in Katowice s názvem "A time-domain-constrained fuzzy clustering method in biomedical data analysis". Místo: Učebna č. 222 Ústav informatiky AV ČR, v.v.i. Pod Vodárenskou věží 2 182 07 Praha 8 – Ládví.

  • Doc. PaedDr. RNDr. Stanislav Katina, Ph.D. (Masaryk University in Brno): Visualisation of spatially smoothed biological signal recorded on landmarks, curves or surfaces

    8.11.2018 13:00 @ Semináře ISCB ČR

    Mezinárodní společnost pro klinickou biostatistiku v České republice, z. s. ve spolupráci s Ústavem informatiky AV ČR, v.v.i. si Vás dovoluje pozvat na přednášku doc. PaedDr. RNDr. Stanislava Katiny, Ph.D. z Ústavu matematiky a statistiky Přírodovědecké fakulty Masarykovy univerzity v Brně s názvem Visualisation of spatially smoothed biological signal recorded on landmarks, curves or surfaces. Místo: Učebna č. 222 Ústav informatiky AV ČR, v.v.i. Pod Vodárenskou věží 2 182 07 Praha 8 – Ládví.