What is a (non-constructive) non-monotone logical system?
نویسندگان
چکیده
منابع مشابه
Constructive and Non-constructive Asynchronous Simulation
From its inception it was known that qualitative reasoning had a problem with the generation of spurious behaviours, and a great deal of effort has been expended in tackling this problem . Two approaches have been taken to constraint based qualitative simulation : constructive and non-constructive, though a thorough and objective examination of the operation and results of performing qualitativ...
متن کاملNon - Constructive Computational
We describe a non-constructive extension to Primitive Recursive Arithmetic, both abstractly, and as implemented on the Boyer-Moore prover. Abstractly, this extension is obtained by adding the unbounded operator applied to primitive recursive functions; doing so, one can deene the Ackermann function and prove the consistency of Primitive Recursive Arithmetic. The implementation does not mention ...
متن کاملNon-monotone Dualization via Monotone Dualization
The non-monotone dualization (NMD) is one of the most essential tasks required for finding hypotheses in various ILP settings, like learning from entailment [1, 2] and learning from interpretations [3]. Its task is to generate an irredundant prime CNF formula ψ of the dual f where f is a general Boolean function represented by CNF [4]. The DNF formula φ of f is easily obtained by De Morgan’s la...
متن کاملWhat is a Non-truth-functional Logic?
What is the fundamental insight behind truth-functionality? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truthfunctionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00319-9