A Completeness Theorem for the Logical System MPCL Designed for Mathematical Psychology
Kensaku Gomi, Yasuaki Mizumura · 2008
Our end in mathematical psychology is to construct and analyze and utilize a mathematical model of the human system of thinking, the outer world which human cognizes, and the relationship between them, from mechanists’ viewpoint. As the core of our mathematical model, we need some good logical system, and MPCL is our present tentative one. We will define it, give an account of its relationship with natural languages, and prove a completeness theorem for it, based on a newly formulated universal algebraic logic.