We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-Löf’s separation of judgments from propositions. Our construction yields a clean and elegant formulation that accounts for a rich set of multiplicative, additive, and exponential connectives, extending dual intuitionistic linear logic but differing from both classical linear logic and Hyland ...

Judgmental bootstrapping is a type of expert system. It translates an experts' rules into a quantitative model by regressing the experts' forecasts against the information that he used. Bootstrapping models apply an experts' rules consistently, and many studies have shown that decisions and predictions from bootstrapping models are similar to those from the experts. Three studies showed that bo...

For the verificationist principle of truth underlying intuitionistic logic and constructivism, semantic truth conditions for propositions are substituted by syntactically defined assertion conditions for judgments ([2]). Where the standard interpretation of such notion of truth is given in a language for arithmetic, far less clear is how to interpret it for the representation of rational knowle...

Several biases and inefficiencies are commonly associated with the judgmental extrapolation of time series even when forecasters have technical knowledge about forecasting. This study examines the effectiveness of using a rolling training approach, based on feedback, to improve the accuracy of forecasts elicited from people with such knowledge. In an experiment forecasters were asked to make mu...

An accurate short-term forecast of product sales is vital for the smooth operation of modern supply chains, especially where the manufacture of complex products is outsourced internationally. As a vendor of enterprise computing products whose business model has long emphasized extensive outsourcing, Sun Microsystems Inc. has a keen interest in the accuracy of its product sales forecasts. Histor...

This paper focuses on the role that Judgmental Modell ing played in helping a large international manufacturer plan its future production environment. Two strategic decisions had to be made, relating to which production process to choose, and which projects to allocate to the process. Different members of the management team were responsible for diflerent elements of the decision. There was ext...