Fourth Workshop on Mathematical Logic and its Applications

3-5 March 2020, Kanazawa, Japan

Speakers

  • Dieter Spreen

    The Compact Hyper-space Monad, a Constructive Approach

  • Satoru Niki

    Decidability of variables in constructive logics

  • Victor Selivanov

    Effective Wadge hierarchy in computable quasi-Polish spaces

  • Donghyun Lim and Martin Ziegler

    Towards quantitative versions of the "Main Theorem" of Computable Analysis

  • Michal Konečný, Florian Steinberg and Holger Thies

    Computable analysis and exact real computation in Coq

  • Makoto Tatsuta and Stefano Berardi

    Counterexample to Brotherston's Conjecture

  • Takayuki Kihara

    Some Lifschitz-like realizability notions separating non-constructive principles

  • Hidenori Kurokawa

    Labelled sequent calculi for relevant logics

  • Makoto Fujiwara

    Koenig's lemma and the decidable fan theorem in reverse mathematics

  • Matthew de Brecht

    On the transferability of results between subcategories of spaces and locales

  • Daichi Hayashi

    On two theories of Frege structure equivalent to Feferman’s T0

  • Daisuke Kimura and Koji Nakazawa

    On Cut-Elimination for Cyclic Proof System of Bunched Implication

  • Youan Su and Katsuhiko Sano

    First Order Expansion of Intuitionistic Epistemic Logic

  • Norbert Th. Müller, Margarita Korovina and Franz Brauße

    Generalizing Taylor models for multivariate real functions

  • Koji Nakazawa, Kenji Saotome and Daisuke Kimura

    Restriction on cut in cyclic proof system for symbolic heaps

  • Franz Brauße, Konstantin Korovin, Margarita Korovina and Norbert Th. Müller

    Ksmt for solving non-linear constraints

  • Kiraku Shintani and Nao Hirokawa

    A simple proof of the parallel closedness theorem