5,853 research outputs found
Fixed-point elimination in the intuitionistic propositional calculus
It is a consequence of existing literature that least and greatest
fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic
models of the Intuitionistic Propositional Calculus-always exist, even when
these algebras are not complete as lattices. The reason is that these extremal
fixed-points are definable by formulas of the IPC. Consequently, the
-calculus based on intuitionistic logic is trivial, every -formula
being equivalent to a fixed-point free formula. We give in this paper an
axiomatization of least and greatest fixed-points of formulas, and an algorithm
to compute a fixed-point free formula equivalent to a given -formula. The
axiomatization of the greatest fixed-point is simple. The axiomatization of the
least fixed-point is more complex, in particular every monotone formula
converges to its least fixed-point by Kleene's iteration in a finite number of
steps, but there is no uniform upper bound on the number of iterations. We
extract, out of the algorithm, upper bounds for such n, depending on the size
of the formula. For some formulas, we show that these upper bounds are
polynomial and optimal
Intuitionistic fixed point theories over Heyting arithmetic
In this paper we show that an intuitionistic theory for fixed points is
conservative over the Heyting arithmetic with respect to a certain class of
formulas. This extends partly the result of mine. The proof is inspired by the
quick cut-elimination due to G. Mints
Black-Litterman model with intuitionistic fuzzy posterior return
The main objective is to present a some variant of the Black - Litterman
model. We consider the canonical case when priori return is determined by means
such excess return from the CAPM market portfolio which is derived using
reverse optimization method. Then the a priori return is at risk quantified
uncertainty. On the side, intensive discussion shows that the experts' views
are under knightian uncertainty. For this reason, we propose such variant of
the Black - Litterman model in which the experts' views are described as
intuitionistic fuzzy number. The existence of posterior return is proved for
this case.We show that then posterior return is an intuitionistic fuzzy
probabilistic set.Comment: SSRN Electronic Journal 201
On Tarski's fixed point theorem
A concept of abstract inductive definition on a complete lattice is
formulated and studied. As an application, a constructive and predicative
version of Tarski's fixed point theorem is obtained.Comment: Proc. Amer. Math. Soc., to appea
- …