MATHEMATICAL NOOLOGY
Intellectual Machines, Logic, Tongues and Algebra

The file of this monograph: MN.pdf (ever-growing, i.e. updated irregularly to grow into a mature file)

My manuscripts to be united and amplified in it:

• Theory of completeness for logical spaces
  • The journal version (Logica Universalis 3, 2009, 243--291)
• From logical systems to logical spaces
• Case logic for mathematical psychology I
• Embedding first-order predicate logic in monophasic case logic
• A completeness theorem for monophasic case logic
• Case logic for mathematical psychology II
  • sample file
• Embedding Kripkean modal logic in asymmetric bipartible case logic
• Completeness, models and classes in case logic
• Certain earlier versions in UTMS Preprint Series 2008-24, 28

Pupils' papers to be united and amplified in it:

• Yasuaki Mizumura: Ronri taikei MCL no kanzensei (The completeness of the logical system MCL), Master's thesis, Graduate School Math. Sci., Univ. Tokyo, 2000
• Hitoki Matuda: Kankei syugo no sonzai teiri (Existence theorem for relational sets), Master's thesis, Graduate School Math. Sci., Univ. Tokyo, 2004
• Yohsuke Takaoka: Zyokyoso o motu kaku ronrigaku (Case logic with a class of situational entities), Master's thesis, Graduate School Math. Sci., Univ. Tokyo, 2006
• Yohsuke Takaoka: On existence of models for the logical system MPCL, UTMS Preprint Series 2009-24

Its spin-off and Japanese original of wider scope:

• FOUNDATIONS OF EUSOPHY: A Proscience General Concept of God with a Mathematical Model
• MATHEMATICAL PSYCHOLOGY: Thinking Machines, Logic, Languages and Algebra