Hidenori Kurokawa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Advances in Proof-Theoretic Semantics	2022-06-03	Paper
Relevant logics: from semantics to proof systems	2021-08-03	Paper
On the methodology of informal rigour: set theory, semantics, and intuitionism	2021-04-30	Paper
On the methodology of informal rigour: set theory, semantics, and intuitionism (available as arXiv preprint)	2021-01-01	Paper
Resource sharing linear logic Journal Of Logic And Computation	2020-04-29	Paper
The principle of reflection via nested sequents	2017-09-04	Paper
The paradox of the knower revisited Annals of Pure and Applied Logic	2014-01-13	Paper
Prefixed tableau systems for logic of proofs and provability Lecture Notes in Computer Science	2013-10-04	Paper
Substructural logic of proofs Logic, Language, Information, and Computation	2013-09-17	Paper
Tableaux and hypersequents for justification logics Annals of Pure and Applied Logic	2012-04-10	Paper
Hypersequent calculi for intuitionistic logic with classical atoms Annals of Pure and Applied Logic	2011-08-26	Paper
From the knowability paradox to the existence of proofs Synthese	2011-02-25	Paper
Tableaux and Hypersequents for Justification Logic Logical Foundations of Computer Science	2009-02-24	Paper
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms Logical Foundations of Computer Science	2008-01-04	Paper

Research outcomes over time

This page was built for person: Hidenori Kurokawa