E-LIB Suche - Ergebnisse für: Kentaro Sato

1

FINITIST AXIOMATIC TRUTH:

KENTARO, SATO ; WALKER, JAN
The Journal of Symbolic Logic. 88 (2022) 1 - p. 22-73 , 2022

Link: https://doi.org/10.1017/..

2

A MARRIAGE OF BROUWER'S INTUITIONISM AND HILBERT'S FINITISM..:

NEMOTO, TAKAKO ; KENTARO, SATO
The Journal of Symbolic Logic. 87 (2021) 2 - p. 437-497 , 2021

Link: https://doi.org/10.1017/..

3

A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHE..:

KENTARO, SATO
The Journal of Symbolic Logic. 84 (2019) 1 - p. 226-265 , 2019

Link: https://doi.org/10.1017/..

4

A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHE..:

KENTARO, SATO
The Journal of Symbolic Logic. 84 (2019) 1 - p. 226-265 , 2019

Link: https://www.jstor.org/st..

5

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THE..:

JÄGER, GERHARD ; ROSEBROCK, TIMOTEJ ; KENTARO, SATO
The Journal of Symbolic Logic. 83 (2018) 3 - p. 967-990 , 2018

Link: https://doi.org/10.1017/..

6

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THE..:

JÄGER, GERHARD ; ROSEBROCK, TIMOTEJ ; KENTARO, SATO
The Journal of Symbolic Logic. 83 (2018) 3 - p. 967-990 , 2018

Link: https://www.jstor.org/st..

7

RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-OR..:

KENTARO, SATO
The Journal of Symbolic Logic. 79 (2014) 3 - p. 712-732 , 2014

Link: https://www.jstor.org/st..

8

Proper Semantics for Substructural Logics, from a Stalker T..:

Kentaro, Sato
Studia Logica. 88 (2008) 2 - p. 295-324 , 2008

Link: https://doi.org/10.1007/..

9

Proper Semantics for Substructural Logics, from a Stalker T..:

Kentaro, Sato
Studia Logica: An International Journal for Symbolic Logic. 88 (2008) 2 - p. 295-324 , 2008

Link: https://www.jstor.org/st..

10

Forcing under Anti‐Foundation Axiom: An expression of the s..:

Kentaro, Sato
Mathematical Logic Quarterly. 52 (2006) 3 - p. 295-314 , 2006

Link: https://doi.org/10.1002/..

11

A new model construction by making a detour via intuitionis..:

Sato, Kentaro
Annals of Pure and Applied Logic. 175 (2024) 7 - p. 103422 , 2024

Link: https://doi.org/10.1016/..

12

A case of gallbladder neuroendocrine carcinoma complicated ..:

Sato, Kentaro ; Suzuki, Tomohiro ; Akaike, Kazuki...
Clinical Journal of Gastroenterology. 17 (2024) 4 - p. 724-730 , 2024

Link: https://doi.org/10.1007/..

13

Microanatomical organization of hepatic venous lymphatic sy..:

Umemura, Kotaro ; Shimoda, Hiroshi ; Ishido, Keinosuke...
PLOS ONE. 18 (2023) 5 - p. e0286316 , 2023

Link: https://doi.org/10.1371/..

14

A new model construction by making a detour via intuitionis..:

Sato, Kentaro
Annals of Pure and Applied Logic. 174 (2023) 3 - p. 103207 , 2023

Link: https://doi.org/10.1016/..

15

Short- and long-term outcomes of preservation versus ligati..:

Sato, Aya ; Imaizumi, Ken ; Kasajima, Hiroyuki...
Langenbeck's Archives of Surgery. 408 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..