Search results for "Stipulation"

"Stipulation pour autrui et arbitrage"

2006

International audience; (Cass. 1re civ., 11 juill. 2006, pourvoi n° 03-11.983, Banque Populaire Loire c/ Sté Sangar, D. 2006, Pan. p. 3026, obs. T. Clay)

Logics with counting and equivalence

2014

We consider the two-variable fragment of first-order logic with counting, subject to the stipulation that a single distinguished binary predicate be interpreted as an equivalence. We show that the satisfiability and finite satisfiability problems for this logic are both NEXPTIME-complete. We further show that the corresponding problems for two-variable first-order logic with counting and two equivalences are both undecidable.

The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions

2003

This paper presents the Gupta-Belnap Fixed-Point problem: to characterize the truth-functional schemes of the first-order logic such that, for every interpreted language L, a truth predicate for L can be defined in L using a Kripkean fixed-point. A propositional version of the problem is defined using the stipulation logic of A. Visser and then the strategy adopted for the solution to the three-valued case is presented, using the theory of clones of functions.

La posizione del terzo nel diritto delle obbligazioni. Uno studio evolutivo-comparato dal diritto romano ai più recenti strumenti di tutela, con part…

Lʼindividuazione di un filo conduttore che possa aiutare ad individuare lo sviluppo e i processi storici che hanno interessato la tutela e la protezione del terzo, a partire dal modo in cui il problema ha trovato configurazione in diritto romano, ammesso che si possa riconoscere che ne abbia escogitata una, sino allʼattuale profilarsi delle questioni teorico-dogmatiche sul punto, se da un lato appare senza dubbio come un problema stimolante e ricco di spunti, dallʼaltro si presta senza dubbio a concretizzare quei problemi e quei dubbi a cui si è appena fatto riferimento. Consapevoli di questo genere di dilemmi, nellʼaffrontare lʼargomento in oggetto si è quindi cercato di adottare un metodo…

Two operative risk indicators as tools for negotiating contracts between curators of Museums and HVAC technical services providers

2020

Abstract The purpose of Heating, Ventilating and Air-Conditioning (HVAC) systems in museums is to properly control important microclimate parameters; such systems, in fact, apart from ensuring the visitors’ wellbeing, are requested to guarantee suitable indoor conditions for the proper conservation of the important cultural goods hosted by museums. Hence, in case of disservice, or interruption due to maintenance interventions, it is important to quantify the economic damage induced to exhibited and/or stored works of art (or even to the building museum itself). Accordingly, it is essential to guarantee the shortest possible period of disservice during which probable damages for the works of…