Results 21  30
of
3,003
2010 “Synthetic Control Methods for Comparative Case Studies: Estimating the E¤ect of California’s Tobacco Control Program
 Journal of the American Statistical Association
"... Building on an idea in Abadie and Gardeazabal (2003), this article investigates the application of synthetic control methods to comparative case studies. We discuss the advantages of these methods and apply them to study the effects of Proposition 99, a largescale tobacco control program that Calif ..."
Abstract

Cited by 177 (6 self)
 Add to MetaCart
that California implemented in 1988. We demonstrate that, following Proposition 99, tobacco consumption fell markedly in California relative to a comparable synthetic control region. We estimate that by the year 2000 annual percapita cigarette sales in California were about 26 packs lower than what they would
Propositional Attitudes
, 1993
"... Concise Encyclopedia of Philosophy of Language, pp. 291294, Pergamon, Oxford, 1997. 1 (2) Cathy regrets that Joe didn't call her Now suppose that in fact neither Jim nor Joe called Cathy. If the meanings of the embedded sentences would simply be their truth values then, since they are both ..."
Abstract
 Add to MetaCart
true, they would have the same meaning and Cathy would bear the relation of regret to one of them precisely if she would bear that relation to the other. Thus the theory predicts that (2) follows from (1). This is absurd of course, and we may conclude that meanings are not simply truth values. Note
Proposition 1.1. Let
"... Abstract. Ellipsoids possess several beautiful properties associated with classical potential theory. Some of them are well known, and some have been forgotten. In this article we hope to bring a few of the “lost ” pieces of classical mathematics back to the limelight. 1. Dirichlet’s problem Let u ..."
Abstract
 Add to MetaCart
of solutions to the Dirichlet problem when Ω is an ellipsoid and the data f possess nice algebraic properties. Thus, we first present the following proposition.
Economic theory of choice and the preference reversal phenomenon.
 American Economic Review,
, 1979
"... A body of data and theory has been developing within psychology which should be of interest to economists. Taken at face value the data are simply inconsistent with preference theory and have broad implications about research priorities within economics. The inconsistency is deeper than the mere la ..."
Abstract

Cited by 196 (1 self)
 Add to MetaCart
sort from those generally accepted. This paper reports the results of a series of experiments designed to discredit the psychologists' works as applied to economics. The phenomenon is characterized by the following stylized example. Individuals under suitable laboratory conditions are asked
On the Admissible Rules of Intuitionistic Propositional Logic
 Journal of Symbolic Logic
, 2001
"... We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility. 1 Introduction The admissible rules of a theory are th ..."
Abstract

Cited by 39 (7 self)
 Add to MetaCart
We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility. 1 Introduction The admissible rules of a theory
Propositions In Propositional Logic Provable Only By Indirect Proofs
, 1995
"... In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in propositional logic makes propositional logic nonnormalizable. From this follows that some provable propositions in propositional logic has no direct proof. Key words: Direct proo ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in propositional logic makes propositional logic nonnormalizable. From this follows that some provable propositions in propositional logic has no direct proof. Key words: Direct
A Judgmental Reconstruction of Modal Logic
 Mathematical Structures in Computer Science
, 1999
"... this paper we reconsider the foundations of modal logic, following MartinL of's methodology of distinguishing judgments from propositions [ML85]. We give constructive meaning explanations for necessity (2) and possibility (3). This exercise yields a simple and uniform system of natural deductio ..."
Abstract

Cited by 183 (42 self)
 Add to MetaCart
this paper we reconsider the foundations of modal logic, following MartinL of's methodology of distinguishing judgments from propositions [ML85]. We give constructive meaning explanations for necessity (2) and possibility (3). This exercise yields a simple and uniform system of natural
Propositional dynamic logic of flowcharts
 Infor. and Control
, 1985
"... Following a suggestion of Pratt, we consider propositional dynamic logic in which programs are nondeterministic finite automata o~¢er atomic programs and tests (i.e., flowcharts), rather than regular expressions. While the resulting version of PDL, call it APDL, is clearly equivalent in expressive p ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
Following a suggestion of Pratt, we consider propositional dynamic logic in which programs are nondeterministic finite automata o~¢er atomic programs and tests (i.e., flowcharts), rather than regular expressions. While the resulting version of PDL, call it APDL, is clearly equivalent in expressive
A. Proposition Proofs Proof of Proposition 1:
"... We first consider the case in which all signals are mutually independent. We use the following orders and inventory formulations: ot =µ + i t =m + l=0 õt,l, õt,l = ĩ t,l, ĩ t,l = i=−∞ l=0 i=0 (wi,l − wi+1,l)ɛt+L+i,l, wi+1,lɛt+i+1,l + (w−i,l − 1)ɛt−i,l. Accordingly, the firm’s objective is: min w i,l ..."
Abstract
 Add to MetaCart
We first consider the case in which all signals are mutually independent. We use the following orders and inventory formulations: ot =µ + i t =m + l=0 õt,l, õt,l = ĩ t,l, ĩ t,l = i=−∞ l=0 i=0 (wi,l − wi+1,l)ɛt+L+i,l, wi+1,lɛt+i+1,l + (w−i,l − 1)ɛt−i,l. Accordingly, the firm’s objective is: min w i
Singular Propositions, Abstract Constituents, and Propositional Attitudes
, 1989
"... Consider one apparent conflict between Frege’s ideas in [1892] and Kaplan’s ideas in [1977] (published in this volume). From Frege, we have learned that the cognitive significance of coreferential names may be distinct. But Kaplan identifies the cognitive significance of a word or phrase with its ch ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
and Kaplan. The resolution substantiates Frege’s suggestion that the cognitive significance of unambiguous, coreferential names may be distinct, yet it preserves the following views of Kaplan: (a) that names are directly referential, in the sense that no intermediate entities, such as senses, are required
Results 21  30
of
3,003