Investment and financing decisions are generally made under the assumption of a given objective function. Deriving growth from the value of a firm, however, requires the initial size and discount rates to be known a priori. The presentation of financial planning as a standard dynamic optimization problem usually works with overly restrictive assumptions. As an alternative, it is proposed to arr...

L’accès aux archives de la revue « Revue française d’informatique et de recherche opérationnelle. Série rouge » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

We aim to illustrate an axiomatic approach towards the development of a Theory of Mind (ToM). Specifically, in the first section we briefly introduce our approach as a necessary tool for a ToM. In section two, we specify necessary and sufficient conditions for intelligence as part of such a theory and a suggestion for the nature of consciousness. We conclude with a brief summary of further work.

We introduce a new simple first-order framework for theories whose objects are wellorderings (lists). A system ALT (axiomatic list theory) is presented and shown to be equiconsistent with ZFC (Zermelo Fraenkel Set Theory with the Axiom of Choice). The theory sheds new light on the power set axiom and on Gödel’s axiom of constructibility. In list theory there are strong arguments favoring Gödel’...

At times, it is essential to re-affirm the philosophical and axiomatic foundations of Fuzzy Theory in order to search and discover new avenues of research and to shed a new light onto basic assumptions. For such a purpose, first, the perspectives of Pierce and Zadeh are review with regards to determinacy and indeterminacy. Secondly, the ontological and epistemological foundations of both the Cl...

We employ the axiomatic framework of Rychkov and Tan to investigate critical O$(N)$ vector model with a line defect in $(4-\epsilon)$ dimensions. assume fixed point is described by conformal field theory show that value coupling bulk uniquely without resorting diagrammatic calculations. also study various localized operators method, where analyticity correlation functions plays crucial role det...

In this paper we seek to provide elements of an axiomatic theory for a sentient consciousness as a quantified form of introspective awareness. A crucial step for its formulation is use of an interval temporal logic to give expression to on-going conditions such as those represented by the progressive aspect in natural language. In this way we are able to enrich more stative mental models so tha...

Domain Theory provides a denotational semantics for programming languages and calculi containing fixed point combinators and other so-called paradoxical combinators. This dissertation presents results in the category theory and type theory of Axiomatic Domain Theory. Prompted by the adjunctions of Domain Theory, we extend Benton’s linear/nonlinear dualsequent calculus to include recursive linea...