“Tax Simplification”—Grave Threat to the Charitable Contribution Deduction: The Problem and a Proposed Solution

The present National Administration has continued to support proposed legislative changes aimed at substantially reducing the number of income tax returns in which deductions are itemized. The author contends that these tax simplification proposals are incompatible with the preservation of the charitable contribution deduction and would undermine the position of voluntary charitable organizations by reducing the incentives for giving. He proposes a solution to this dilemma by promoting the charitable contribution deduction, with certain limitations, to the position of a deduction from gross income, rather than a deduction from adjusted gross income

Upside-down Deduction

Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation. We consider on the one hand the theorem prover Satchmo, on the other hand the Alexander and Magic Set methods. Although they achieve different goals and are based on distinct reasoning paradigms, Satchmo and the Alexander or Magic Set methods can be similarly described by upside-down meta-interpreters, i.e., meta-interpreters implementing one reasoning principle in terms of the other. Upside-down meta-interpretation gives rise to simple and efficient implementations, but has not been investigated in the past. This article is devoted to studying this technique. We show that it permits one to inherit a search strategy from an inference engine, instead of implementing it, and to combine bottom-up and top-down reasoning. These properties yield an explanation for the efficiency of Satchmo and a justification for the unconventional approach to top-down reasoning of the Alexander and Magic Set methods

Mortgage Interest Deduction

Reviews the mortgage interest deduction's fiscal costs, its limitations in subsidizing homeownership, and alternatives. Analyzes the estimated effects of eliminating it, replacing it with alternative tax credits, and limiting the deduction to 28 percent

Incentives for Conservation Easements: The Charitable Deduction or a Better Way

Halperin talks about tax-policy concerns relating to the charitable deduction for conservation easement donations. The conflict of interest between charity and other owners raises a concern that the charitable deduction would not reflect the ultimate charitable benefit. The deduction for conservation easements is the principal exception to this rule despite the significant potential for abuse and the distinct possibility that the public benefit may be less than anticipated

The deduction theorem for strong propositional proof systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs

A generic framework for the analysis and specialization of logic programs

The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argüe is the first fully described generic algorithm for efñcient and precise integration of abstract interpretation and partial deduction. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial deduction, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calis which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of such parameters correspond to existing algorithms for program analysis and specialization. Simultaneously, our approach opens the door to the efñcient computation of strictly more precise results than those achievable by each of the individual techniques. The algorithm is now one of the key components of the CiaoPP analysis and specialization system

The Geographic Distribution of the Mortgage Interest Deduction

The mortgage interest deduction is one of the largest tax expenditures in the U.S. tax code but the rate at which it is claimed and the average amount deducted vary widely across and within states. With changes to tax expenditures under consideration, data showing the current distribution of the mortgage interest deduction are key to understanding how federal tax decisions would affect the states

The Benefits of the Home Mortgage Interest Deduction

The home mortgage interest deduction creates incentives to buy more housing and to become a homeowner, and the case for the deduction rests on social benefits from housing consumption and homeownership. There is little evidence suggesting large externalities from the level of housing consumption, but there appear to be externalities from homeownership. Externalities from living around homeowners are far too small to justify the deduction. Externalities from homeownership are larger, but the home mortgage interest deduction is a particularly poor instrument for encouraging homeownership since it is targeted at the wealthy, who are almost always homeowners. The irrelevance of the deduction is supported by the time series which shows that the ownership subsidy moves with inflation and has changed significantly between 1960 and today, but the homeownership rate has been essentially constant.