Rchr
J-GLOBAL ID:200901010939516542   Update date: May. 15, 2020

Nagaoka Kazuaki

ナガオカ カズアキ | Nagaoka Kazuaki
Affiliation and department:
Research field  (2): Applied mathematics and statistics ,  Basic mathematics
Research keywords  (2): 数学基礎論 ,  foundations of mathematics
Research theme for competitive and other funds  (2):
  • 決定問題
  • Decision Problem
MISC (7):
  • 様相述語論理B, S5, S4, Tにおけるprefixed tableau proofからsequent calculus proofへの変換. 津田塾大学 数学・計算機科学研究所研究報告集. 2002. 19-41
  • クリプキバンドル意味論に関して不完全な論理. 数理論理学季刊誌. 1997. 43. 485-498
  • K Nagaoka, E Isoda. Incompleteness results in Kripke bundle semantics. MATHEMATICAL LOGIC QUARTERLY. 1997. 43. 4. 485-498
  • 有限束に真理値をもつ多値論理. 早稲田大学紀要. 1979. 43. 147-162
  • Many-valued Logic with Truth Values from Finite Lattices. MEMOIRS OF SCHOOL OF SCIENCE & ENGINEERING WASEDA UNIV. 1979. 43. 147-162
more...
Education (4):
  • - 1975 Waseda University
  • - 1975 Waseda University Graduate School, Division of Science
  • - 1973 Kyoto University Faculty of Science
  • - 1973 Kyoto University Faculty of Science
Professional career (1):
  • (BLANK)
Association Membership(s) (1):
日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page