Reduction in first-order logic compared with reduction in implicational logic
نویسندگان
چکیده
منابع مشابه
Linear Reduction of First-order Logic to the If-then-else Equational Logic
We show that Hilbert type proof systems for classical firstorder logic can be reduced to if-then-else equational logic without losing any substantial efficiency: i.e., for any such proof system H, there exist constants k1, k2 > 0 such that for any proof ψ with size ` in H, there exists a corresponding proof ψ̄ in the if-then-else equational proof system, denoted ITE, with size less than or equal...
متن کاملHigher order fuzzy logic in controlling selective catalytic reduction systems
This paper presents research on applications of fuzzy logic and higher-order fuzzy logic systems to control filters reducing air pollution [1]. The filters use Selective Catalytic Reduction (SCR) method and, as for now, this process is controlled manually by a human expert. The goal of the research is to control an SCR system responsible for emission of nitrogen oxide (NO) and nitrogen dioxide ...
متن کاملComputing with First-Order Logic
We study two important extensions of rst-order logic (FO) with iteration, the xpoint and while queries. The main result of the paper concerns the open problem of the relationship between xpoint and while: they are the same ii ptime = pspace. These and other expressibility results are obtained using a powerful normal form for while which shows that each while computation over an unordered domain...
متن کاملFirst Order Logic in Practice
There is a trend away from monolithic automated theorem provers towards using automation as a tool in support of interactive proof. We believe this is a fruitful drawing together of threads in automated reasoning. But it raises a number of issues that are often neglected in the classical rst order theorem proving literature such as the following. Is rst order automation actually useful, and if ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2007
ISSN: 1448-5052
DOI: 10.26686/ajl.v5i0.1785