Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...
This paper develops -- within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions -- a sententialist-functionalist account ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback