Reflecting rules: A note on generalizing the deduction theorem
نویسندگان
چکیده
منابع مشابه
A Note on Deduction Rules with Negative Premises
The so called frame axioms problem or frame problem is well-known to anybody who is interested in automatic problem solving.Some information concerning this problem can be found in (1) or (2).In (2) the author proposes to eliminate the frame axioms in such a way that they are replaced by a new deduction rule denoted as UNLESS-operator.In fact,this operator is a rule enabling to derive that some...
متن کاملA note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملThe Deduction Theorem
Here φ and ψ are any schemata and Γ is a (possibly empty) set of schemata. The Deduction Theorem, we shall see, is a very nice feature of an axiomatic system, for it allows one to discover theorems much more readily than ordinarily is possible by building actual proofs. Its true value lies elsewhere than in efficiency, though. At the end of this note we will discuss the importance of the Deduct...
متن کاملA game generalizing Hall's Theorem
We characterize the initial positions from which the first player has a winning strategy in a certain two-player game. This provides a generalization of Hall’s Theorem. Vizing’s Theorem on edge-coloring follows from a special case.
متن کاملGeneralizing the Coleman Hill Theorem
Following the work of Khare et al, we show that the generalization to systems with spontaneous symmetry breaking of the Coleman-Hill theorem to one-loop order, can be extended to the case including fermions with the most general interactions. Although the correction to the parity-odd part of the vacuum polarization looks complicated in the Higgs phase, it turns out that the correction to the Ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2015
ISSN: 1570-8683
DOI: 10.1016/j.jal.2015.03.001