Natural deduction, inference, and consistency
نویسندگان
چکیده
منابع مشابه
The Laws of Natural Deduction in Inference by DNA Computer
We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas. The protocol can perform inference steps using, for example, modus ponens and modus tollens rules and de Morgan's laws. The set of the implemented operations allows for inference of formulas using the laws of natural deduction. The system can ...
متن کاملInference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner
There are very few reasoners which combine natural deduction and subsumption reasoning, and there are none which do so while supporting concurrency. Inference Graphs are a graph-based inference mechanism using an expressive first– order logic, capable of subsumption and natural deduction reasoning using concurrency. Evaluation of concurrency characteristics on a combination natural deduction an...
متن کاملNeuro-Evolution and Natural Deduction
Natural deduction is essentially a sequential decision task, similar to many game-playing tasks. Such a task is well suited to benefit from the techniques of neuro-evolution. Symbiotic, Adaptive Neuro-Evolution (SANE)(Moriarty and Miikkulainen 1996) has proven successful at evolving networks for such tasks. This paper will show that SANE can be used to evolve a natural deduction system on a neu...
متن کاملBidirectional Natural Deduction
The goal of this paper is to present a theorem prover able to perform both forward and backward reasoning supported by a well deened formal system. This system for bidirectional reasoning has been proved equivalent to Gentzen's classical system of propositional natural deduction. This paper, primarily aimed at developing a deeper theoretical understanding of bidirectional reasoning, provides ba...
متن کاملFocused Natural Deduction
Natural deduction for intuitionistic linear logic is known to be full of non-deterministic choices. In order to control these choices, we combine ideas from intercalation and focusing to arrive at the calculus of focused natural deduction. The calculus is shown to be sound and complete with respect to first-order intuitionistic linear natural deduction and the backward linear focusing calculus.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1965
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1965-0179055-7