Tatsuji Kawai

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 30

Top Topics

Inductive Reasoning

Continuous Functions

Positively Correlated

Top Venues

Log. Methods Comput. Sci.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. ENASE (2023)
Tatsuji Kawai
Coding of real-valued continuous functions under WKL $\mathsf {WKL}$. Math. Log. Q. 69 (3) (2023)
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
Reflexive combinatory algebras. J. Log. Comput. 33 (5) (2023)
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kavvakami, Nobuo Chida
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. COMPSAC (2022)
Makoto Fujiwara, Tatsuji Kawai
Decidable fan theorem and uniform continuity theorem with continuous moduli. Math. Log. Q. 67 (1) (2021)
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
Algebraic combinatory models. CoRR (2021)
Tatsuji Kawai
Predicative theories of continuous lattices. Log. Methods Comput. Sci. 17 (2) (2021)
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies. Arch. Math. Log. 60 (7) (2021)
Makoto Fujiwara, Tatsuji Kawai
Characterising Brouwer's continuity by bar recursion on moduli of continuity. Arch. Math. Log. 60 (1-2) (2021)
Tatsuji Kawai
Predicative theories of continuous lattices. CoRR (2020)
Tatsuji Kawai
Presenting de Groot duality of stably compact spaces. Theor. Comput. Sci. 823 (2020)
Tatsuji Kawai
Principles of bar induction and continuity on Baire space. J. Log. Anal. 11 (2019)
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Equivalents of the finitary non-deterministic inductive definitions. Ann. Pure Appl. Log. 170 (10) (2019)
Tatsuji Kawai, Giovanni Sambin
The principle of pointfree continuity. Log. Methods Comput. Sci. 15 (1) (2019)
Tatsuji Kawai
fan theorem. Arch. Math. Log. 58 (3-4) (2019)
Makoto Fujiwara, Tatsuji Kawai
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. Ann. Pure Appl. Log. 170 (8) (2019)
Matthew de Brecht, Tatsuji Kawai
On the commutativity of the powerspace constructions. Log. Methods Comput. Sci. 15 (3) (2019)
Tatsuji Kawai
by neighbourhood functions. Ann. Pure Appl. Log. 170 (8) (2019)
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
Factorizing the Top-Loc adjunction through positive topologies. CoRR (2018)
Tatsuji Kawai
Presenting de Groot duality of stably compact spaces. CoRR (2018)
Tatsuji Kawai
Formally continuous functions on Baire space. Math. Log. Q. 64 (3) (2018)
Tatsuji Kawai, Giovanni Sambin
The principle of point-free continuity. CoRR (2018)
Tatsuji Kawai
Point-free characterisation of Bishop compact metric spaces. J. Log. Anal. 9 (2017)
Tatsuji Kawai
Geometric theories of patch and Lawson topologies. CoRR (2017)
Tatsuji Kawai
A point-free characterisation of Bishop locally compact metric spaces. J. Log. Anal. 9 (2017)
Tatsuji Kawai
Formally continuous functions on Baire space. CoRR (2017)
Tatsuji Kawai
Localic completion of uniform spaces. Log. Methods Comput. Sci. 13 (3) (2017)
Matthew de Brecht, Tatsuji Kawai
On the commutativity of the powerspace constructions. CoRR (2017)
Tatsuji Kawai
Localic completion of uniform spaces. CoRR (2017)
Hajime Ishihara, Tatsuji Kawai
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Math. Struct. Comput. Sci. 25 (8) (2015)