Fourth Workshop on Mathematical Logic and its Applications

Speakers & Slides

Hidenori Kurokawa

Labelled sequent calculi for relevant logics
Daichi Hayashi

Extending supervaluation-style Frege structureby the limit axiom
Satoru Niki

Decidability of variables in constructive logics
Matthew de Brecht

On the transferability of results between subcategories of spaces and locales
Victor Selivanov

Effective Wadge hierarchy in computable quasi-Polish spaces
Dieter Spreen

The Compact Hyper-space Monad, a Constructive Approach
Youan Su and Katsuhiko Sano

First-Order Expansion of Intuitionistic Epistemic Logic
Donghyun Lim

Degrees of Second and Higher Order Polynomials
Michal Konečný / Florian Steinberg / Holger Thies

Computable analysis and exact real computation in Coq
Takayuki Kihara

Some Lifschitz-like realizability notions separating non-constructive principles
Makoto Fujiwara

Decomposition of Kőnig's lemma and its unique variants in constructive reverse mathematics
Masahiro Doi and Nao Hirokawa

Completion and the Infeasibility Problem
Koji Nakazawa / Kenji Saotome / Daisuke Kimura

Failure of cut-elimination in the cyclic proofsystem of bunched logic with inductive propositions
Yukihiro Masuoka and Makoto Tatsuta

Cut-elimination in cyclic proof system for first-order logic
Franz Brauße / Konstantin Korovin / Margarita Korovina / Norbert Müller

Ksmt for solving non-linear constraints
Norbert Müller / Margarita Korovina / Franz Brauße

Generalizing Taylor modelsfor multivariate real functions