617 research outputs found
Seminario internazionale di progettazione “Mantova: architettura come modificazione”- Progetto di M. Iori, R. Marone, G. Pulcini
No full textModeling of increasing age- and state-dependent degradation processes: a new closed form Markovian solution
No full textA Deflationary Account of the Truth of the Gödel Sentence G
No full textWe give a negative answer to the question of whether our conviction about the truth of the G ̈odel sentence G involves a theory of truth beyond the deflationary theories. After discussing and dismissing Neil Tennant’s de- flationary account of incompleteness, we show how a new deflationary construal of the incompletability of formal systems can be framed in the setting of Peano Arithmetic augmented to include a constructive version of the ω-rule based on Herbrand’s notion of prototype proof
A condition-based maintenance policy for deteriorating units. An application to the cylinder liners of marine engine
No full textThis paper proposes a condition-based maintenance policy for deteriorating units, which are to be considered failed when their wear
exceeds a critical threshold level, even if this exceeding is not associated to a sudden breakdown of the unit but only to degraded
performance. Thus, the failure occurrence can be detected only at periodic inspections. In such a framework, given the unit age
and state at inspection, a decision-making rule is proposed to choose the maintenance action to be taken, in order to extend the
used life of the unit without significantly increasing its failure probability, so to reduce the life cycle cost. Both the case when all
inspection times are planned and the case when an additional maintenance can be scheduled before the next planned inspection are
considered. An application to a real case study referring to the wearing process of cylinder liners of some marine diesel engines is
illustrated, with the further aim of highlighting the need to correctly model the degradation process
A logical calculus for controlled monotonicity
No full textIn this paper we introduce a new deductive framework for analyzing processes displaying a kind of controlled monotonicity. In particular, we prove the cut-elimination theorem for a calculus involving series-parallel structures over partial orders which is built up from multi-level sequents, an interesting variant of Gentzen-style sequents. More broadly, our purpose is to provide a general, syntactical tool for grasping the combinatorics of non-monotonic processes
Fractional semantics for classical logic
No full textThis article presents a new (multivalued) semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement of traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions
- …
