@article{oai:matsumoto-u.repo.nii.ac.jp:00000578,
 author = {小林, 俊一},
 issue = {9},
 journal = {松本大学研究紀要, The Journal of Matsumoto University},
 month = {Jan},
 note = {application/pdf, 二値関数と集合の分割に関する命題倫理について成り立つ論理包含に関する定理を提案し、その定理の厳格な証明を行った。これらの定理は、従来の命題論理を、数学的に新しい考え方に基づいて厳格な形でモデル化して、それを定式化したものである。定理の正しさに関しては、数学証明検証システムを用いて、厳格な現象を行っている、なお、本研究の工学的な応用としては、論理回路への応用などが考えられる。},
 pages = {87--93},
 title = {二値関数における命題論理（11）},
 year = {2011}
}