Zobrazeno 1 - 4
of 4
pro vyhledávání: '"03F55, 03F35"'
Autor:
Veldman, Wim
The paper is a contribution to intuitionistic reverse mathematics. We work in a weak formal system for intuitionistic analysis. The Principle of Open Induction on Cantor space is the statement that every open subset of Cantor space that is progressiv
Externí odkaz:
http://arxiv.org/abs/1408.2493
Autor:
Fujiwara, Makoto1 (AUTHOR), Kawai, Tatsuji2 (AUTHOR) tatsuji.kawai@jaist.ac.jp
Publikováno v:
Archive for Mathematical Logic. 2021, Vol. 60 Issue 1/2, p241-263. 23p.
Autor:
Moschovakis, Joan1 joan@math.ucla.edu, Vafeiadou, Garyfallia1 gvf@math.uoa.gr
Publikováno v:
Archive for Mathematical Logic. Aug2012, Vol. 51 Issue 5/6, p443-459. 17p.
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), p