Hidenori Kurokawa

Available identifiers

Publication	Date of Publication	Type
On Takeuti's early view of the concept of set	2022-11-11	Paper
Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause	2022-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5004953	2021-08-03	Paper
On the methodology of informal rigour: set theory, semantics, and intuitionism	2021-04-30	Paper
Resource sharing linear logic	2020-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5354805	2017-09-04	Paper
The paradox of the knower revisited	2014-01-13	Paper
Prefixed Tableau Systems for Logic of Proofs and Provability	2013-10-04	Paper
Substructural Logic of Proofs	2013-09-17	Paper
Tableaux and hypersequents for justification logics	2012-04-10	Paper
Hypersequent calculi for intuitionistic logic with classical atoms	2011-08-26	Paper
From the knowability paradox to the existence of proofs	2011-02-25	Paper
Tableaux and Hypersequents for Justification Logic	2009-02-24	Paper
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms	2008-01-04	Paper

This page was built for person: Hidenori Kurokawa