Reduction in first-order logic compared with reduction in implicational logic

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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