@article{oai:matsumoto-u.repo.nii.ac.jp:00000729,
 author = {小林, 俊一},
 journal = {松本大学研究紀要, The Journal of Matsumoto University},
 month = {Mar},
 note = {application/pdf, ２値関数と集合の分割に関する述語論理について成り立つ定理を、述語論理の新しい数学的モデルとして提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。述語論理や命題論理は、「数学の証明」を行う場合に、誰もが必ず利用してきているものである。すなわち、数学の証明問題を解く場合には自然に使っているのが述語論理や命題論理である。このような「数学の証明」の基礎をなすものとしての述語論理に関して研究を行った。従来の述語論理では提案されていなかった新しい定理を提案し、その定理の正しさを、数学証明検証システムMizarを利用して検証を行った。},
 pages = {33--49},
 title = {２値関数における述語論理（15）},
 volume = {12},
 year = {2014}
}