نتایج جستجو برای: fuzzy deduction

تعداد نتایج: 95859  

Journal: :Philosophical Studies 2007

Journal: :Proceedings of the American Mathematical Society 1965

Journal: :Electronic Notes in Theoretical Computer Science 2003

Journal: :The Journal of Sex Research 2018

Journal: :Annals of Pure and Applied Logic 2006

Journal: :Fundam. Inform. 1997
Mihhail Matskin Jan Komorowski

The notion of partial deduction known from logic programming is deened in the framework of Structural Synthesis of Programs (SSP). Partial deduction for computability statements in SSP is deened. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.

2010
Taus Brock-Nannestad Carsten Schürmann

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.

1993
Howard C. Wasserman Keitaro Yukawa Zhizhang Shen

1 Introduction In this paper we provide very broad notions of deduction and consequence for logic programs (so-called LP-deduction relations and LP-consequence relations), and we prove that under very modest assumptions, an LP-deduction relation will be either unsound or incomplete with respect to every LP-consequence relation. Throughout this paper we assume a non-logical alphabet, K, which in...

1994
Mihhail Matskin Jan Komorowski John Krogstie

The notion of partial deduction known from logic programming is deened in the framework of Structural Synthesis of Programs (SSP). Partial deduction for unconditional computability statements in SSP is deened. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.

Journal: :Theor. Comput. Sci. 2000
Jonathan P. Seldin

A Gentzen-style L-formulation of the calculus of constructions is presented and proved equivalent to a natural deduction formulation based on that of [6]. The L-rules corresponding to the conversion rules of the natural deduction system are expansion rules. Cut elimination follows from the equivalence to the natural deduction formulation and the normalization theorem for the latter.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید