We are interested in belief revision involving conditional statements where the antecedent is almost certainly false. To represent such problems, we use Ordinal Conditional Functions that may take infinite values. We model belief change in this context through simple arithmetical operations that allow us to capture the intuition that certain antecedents can not be validated by any number of obs...

La sociedad conyugal es un elemento de la naturaleza del contrato matrimonial que queda latente y suspendido en el tiempo, para conformarse solo momento su propia disolución y/o matrimonio. En este último caso, quienes estuvieron casados dejan ser cónyuges, recuperan estado civil solteros aunque pudieron nunca o pocas veces compartir administración los bienes deudas adquirieron durante matrimon...

This paper characterizes di¤erent belief revision rules in a uni…ed framework: Bayesian revision upon learning some event, Je¤rey revision upon learning new probabilities of some events, Adams revision upon learning some new conditional probabilities, and ‘dual-Je¤rey’revision upon learning an entire new conditional probability function. Though seemingly di¤erent, these revision rules follow fr...

(We show the completeness of a deterministic lazy conditional narrowing calculus with leftmost selection for the class of eft-linear fresh deterministic constructorbased conditional rewrite systems. This class of rewrite systems permits extra variables in the right-hand sides and conditions of its rewrite rules. This result is relevant for the designers of suitable computational models for func...

we prove that the limit of a sequence of pettis integrable bounded scalarly measurable weak random elements, of finite weak norm, with values in the dual of a non-separable banach space is pettis integrable. then we provide basic properties for the pettis conditional expectation, and prove that it is continuous. calculus of pettis conditional expectations in general is very different from the c...

which are in a nonconservative form. Global conservation is not guaranteed if integration is performed for Eqs. (2) and (3), which do not include PDF inside the temporal and spatial derivatives. On the other hand nonconservative forms allow a relatively coarse mesh since conditional averages show much less spatial dependence than PDF weighted Favre averages. Here η ρ ρ η ≡ and the scalar dissip...

We present a new proof of Chew's theorem, which states that normal forms are unique up to conversion in compatible term rewriting systems. We apply the technique of left-right separated conditional term rewriting systems (LRCTRSs), in which the unique normal form property of a term rewriting system is reduced to the Church-Rosser property of its conditional linearization. In contrast to traditi...