Hidenori Kurokawa

Available identifiers

zbMath Open kurokawa.hidenoriMaRDI QIDQ392282

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hidenori Kurokawa