Technical Terms Mathematical Logic: The study of formal systems, including model theory and proof theory, that provides rigorous methods for establishing truth and validity within mathematics.

The modeling field theory (MFT) has been developed for modeling complex systems including the most challenging one that is the modeling of mind. It has been successful in dealing with the enormous ...

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...

In this paper we describe a complex information processing system, which we call the logic theory machine, that is capable of discovering proofs for theorems in symbolic logic. This system, in ...

A logic model helps us think through plans for a project. This often-overlooked step in the planning process should actually drive and focus proposal development. Sometimes called a Theory of Change, ...