Ownership ≔ Escaping to a meta-level the moment the binary relation Own(x,y) is axiomatized. Subject ≔ A variable mapping f that has a fixed point of self-identity Fix(f)=p. Company ≔ A smooth ...

This paper introduces the Morphologically-Analyzed and Syntactically-Annotated Quran (MASAQ) dataset, a comprehensive resource designed to address the scarcity of annotated Quranic Arabic corpora and ...

Causal assertions stem from an asymmetric relation between some variable's causes and effects, i.e., they imply the existence of a function decomposition of a model where the effects are a function of ...

Recent years witnessed a number of proposals for the use of the so-called interpretable models in specific application domains. These include high-risk, but also safety-critical domains. In contrast, ...

Intuitionistic logic, i.e. logic without the principle of excluded middle (P ∨ ¬ P P \vee \neg P), is important for many reasons. One is that it arises naturally as the internal logic of toposes and ...

Perhaps the most enduring idea from the early days of AI is that of a declarative system reasoning over explicitly represented knowledge with a general inference engine. Such systems require a formal ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...