Satoko Titani

542 total citations
10 papers, 327 citations indexed

About

Satoko Titani is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Satoko Titani has authored 10 papers receiving a total of 327 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 1 paper in Information Systems. Recurrent topics in Satoko Titani's work include Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Advanced Algebra and Logic (6 papers). Satoko Titani is often cited by papers focused on Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Advanced Algebra and Logic (6 papers). Satoko Titani collaborates with scholars based in Japan and United States. Satoko Titani's co-authors include Gaisi Takeuti and has published in prestigious journals such as Journal of Symbolic Logic, Journal of the Mathematical Society of Japan and International Journal of Theoretical Physics.

In The Last Decade

Satoko Titani

8 papers receiving 297 citations

Peers

Satoko Titani

CTM

AI

MSOR

SP

J. Jacas Spain

D. Dubois France

Kul Hur South Korea

Ada Lettieri Italy

Jaume Casasnovas Spain

Branimir Šešelja Serbia

M.G. Karunambigai India

D. Boixader Spain

Monoranjan Bhowmik India

Xueling Ma China

J. Jacas Spain

Satoko Titani

315 ×1.3

CTM

164 ×0.8

AI

284 ×2.2

MSOR

20 ×0.6

SP

34 ×1.1

SP

Citations per year, relative to Satoko Titani Satoko Titani (= 1×) peers J. Jacas

Countries citing papers authored by Satoko Titani

Since Specialization

Citations

This map shows the geographic impact of Satoko Titani's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Satoko Titani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Satoko Titani more than expected).

Fields of papers citing papers by Satoko Titani

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Satoko Titani. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Satoko Titani. The network helps show where Satoko Titani may publish in the future.

Co-authorship network of co-authors of Satoko Titani

This figure shows the co-authorship network connecting the top 25 collaborators of Satoko Titani. A scholar is included among the top collaborators of Satoko Titani based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Satoko Titani. Satoko Titani is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

10 of 10 papers shown

1.

Titani, Satoko, et al.. (2012). Systems of Quantum Logic. Studia Logica. 101(1). 193–217.

2.

Titani, Satoko, et al.. (2003). Quantum Set Theory. International Journal of Theoretical Physics. 42(11). 2575–2602. 9 indexed citations

3.

Titani, Satoko. (1999). A lattice-valued set theory. Archive for Mathematical Logic. 38(6). 395–421. 15 indexed citations

4.

Titani, Satoko. (1997). Completeness of global intuitionistic set theory. Journal of Symbolic Logic. 62(2). 506–528. 12 indexed citations

5.

Takeuti, Gaisi & Satoko Titani. (1992). Fuzzy logic and fuzzy set theory. Archive for Mathematical Logic. 32(1). 1–32. 40 indexed citations

6.

Takeuti, Gaisi & Satoko Titani. (1987). Globalization of intui tionistic set theory. Annals of Pure and Applied Logic. 33. 195–211. 65 indexed citations

7.

Takeuti, Gaisi & Satoko Titani. (1986). Global intuitionistic analysis. Annals of Pure and Applied Logic. 31. 307–339. 5 indexed citations

8.

Takeuti, Gaisi & Satoko Titani. (1984). Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Journal of Symbolic Logic. 49(3). 851–866. 178 indexed citations

9.

Titani, Satoko. (1973). A proof of the cut-elimination theorem in simple type theory. Journal of Symbolic Logic. 38(2). 215–226.

10.

Titani, Satoko. (1965). An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan. 17(1). 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact