Sato Kentaro

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Propositional Theories

Clifford Algebra

Query Answering

Top Venues

Publications

Sato Kentaro, Jan Walker
Finitist Axiomatic Truth. J. Symb. Log. 88 (1) (2023)
Takako Nemoto, Sato Kentaro
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. J. Symb. Log. 87 (2) (2022)
Sato Kentaro
A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction. J. Symb. Log. 84 (1) (2019)
Gerhard Jäger, Timotej Rosebrock, Sato Kentaro
Truncation and Semi-Decidability Notions in Applicative Theories. J. Symb. Log. 83 (3) (2018)
Sato Kentaro
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories. J. Symb. Log. 79 (3) (2014)
Sato Kentaro
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. Stud Logica 88 (2) (2008)
Sato Kentaro
Forcing under Anti-Foundation Axiom: An expression of the stalks. Math. Log. Q. 52 (3) (2006)