Makoto Fujiwara - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2024

Prenex normalization and the hierarchical classification of formulasMakoto Fujiwara, Taishi Kurahashi. AML, 63(3-4):391-403, May 2024. [doi]

2023

Conservation theorems on Semi-Classical ArithmeticMakoto Fujiwara, Taishi Kurahashi. JSYML, 88(4):1469-1496, 2023. [doi]

Extended Frames and Separations of Logical PrinciplesMakoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama. bsl, 29(3):311-353, September 2023. [doi]

2022

1 variants of the law of excluded middle and related principlesMakoto Fujiwara. AML, 61(7-8):1113-1127, 2022. [doi]

Refining the arithmetical hierarchy of classical principlesMakoto Fujiwara, Taishi Kurahashi. mlq, 68(3):318-345, 2022. [doi]

An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness HypothesisMakoto Fujiwara. CiE 2022: 115-124 [doi]

2021

König's lemma, weak König's lemma, and the decidable fan theoremMakoto Fujiwara. mlq, 67(2):241-257, 2021. [doi]

Decidable fan theorem and uniform continuity theorem with continuous moduliMakoto Fujiwara, Tatsuji Kawai. mlq, 67(1):116-130, 2021. [doi]

Characterising Brouwer's continuity by bar recursion on moduli of continuityMakoto Fujiwara, Tatsuji Kawai. AML, 60(1):241-263, 2021. [doi]

Weihrauch and constructive reducibility between existence statementsMakoto Fujiwara. computability, 10(1):17-30, 2021. [doi]

Prenex Normal Form theorems in Semi-Classical ArithmeticMakoto Fujiwara, Taishi Kurahashi. JSYML, 86(3):1124-1153, 2021. [doi]

2020

Parallelizations in Weihrauch Reducibility and Constructive Reverse MathematicsMakoto Fujiwara. CiE 2020: 38-49 [doi]

2019

Equivalence of bar induction and bar recursion for continuous functions with continuous moduliMakoto Fujiwara, Tatsuji Kawai. APAL, 170(8):867-890, 2019. [doi]

Bar Induction and Restricted Classical LogicMakoto Fujiwara. wollic 2019: 236-247 [doi]

2018

Interrelation between Weak Fragments of double Negation Shift and Related PrinciplesMakoto Fujiwara, Ulrich Kohlenbach. JSYML, 83(3):991-1012, 2018. [doi]

2016

A Case Study: Verification of an Embedded System Using Abstraction Refinement with RequirementsToshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe. compsac 2016: 490-493 [doi]

2015

Some principles weaker than Markov's principleMakoto Fujiwara, Hajime Ishihara, Takako Nemoto. AML, 54(7-8):861-870, 2015. [doi]

Classical provability of uniform versions and intuitionistic provabilityMakoto Fujiwara, Ulrich Kohlenbach. mlq, 61(3):132-150, 2015. [doi]

Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCAMakoto Fujiwara. CiE 2015: 186-195 [doi]

2014

On the strength of marriage theorems and uniformityMakoto Fujiwara, Kojiro Higuchi, Takayuki Kihara. mlq, 60(3):136-153, 2014. [doi]

2013

A Note on the Sequential Version of StatementsMakoto Fujiwara, Keita Yokoyama. CiE 2013: 171-180 [doi]

2007

Consideration on addressing in ubiquitous space using fuzzy measureTomoyuki Araki, Makoto Fujiwara, Yuichi Kohira. SMC 2007: 3713-3718 [doi]

1985

Three-dimensional reconstruction of echocardiograms based on orthogonal sectionsShinichi Tamura, Shigenori Nakano, Masayuki Matsumoto, Takashi Shimazu, Makoto Fujiwara, Taizo Matsuyama, Peter Hanrath. PR, 18(2):115-124, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL