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 ...

Computational logic and formal languages form a cornerstone of modern computer science and mathematics, providing the theoretical framework by which algorithms, automated reasoning systems and even ...