The False Tagging Theory (FTT) is a neuroanatomical model of belief and doubt processes that proposes a single, unique function for the prefrontal cortex. Here, we review evidence pertaining to the FTT, the implications of the FTT regarding fractionation of the prefrontal cortex, and the potential benefits of the FTT for new neuroanatomical conceptualizations of executive functions. The FTT pro...

It is commonly believed that it makes no difference whether one starts with relational types or functional types in formulating type theory, since one can either start with relations as primitive and represent functions as relations or start with functions as primitive and represent relations as functions. It is also commonly believed that the formula-based logic of relational type theory is eq...

In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality ...

This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from it...

In light of the COVID-19 crisis, enthusiasm for a European Financial Transaction Tax (FTT) has been revitalised, driven by similar economic factors as decade before. As such, this essay offers timely exposition failures original FTT proposals bringing together academic literature on with that FTTs in general within larger framework international tax cooperation. By dissecting reasons f...