In this paper, we adopt supreme-utilities among fuzzy level (decision) vectors to propose a power allocation rule, its efficient extension and normalization in the framework of multicriteria fuzzy transferable-utility (TU) games. We also provide several axiomatic results to present the rationality for these rules. Based on different viewpoints, we introduce different formulations and dynamic re...

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criteri...

The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word. However these theories fall under a more general and in some respects m...