Searching for "The Value of the Four Values." – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
The Value of the Four Values
- …The Value of the Four Values Ofer Arieli Arnon Avron Department of Computer Science Department…
- Cited by 47 (4 self) – Add To MetaCart
-
On The Expressive Power of Three-Valued and Four-Valued Languages
- …On The Expressive Power of Three-Valued and Four-Valued Languages Arnon Avron School…
- Cited by 4 (2 self) – Add To MetaCart
-
On The Propositional SLDNF-Resolution
- … of knowledge. We show that the three-valued and four-valued fix-point or declarative semantics for program P…
- Add To MetaCart
-
Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic
- … sequent calculus for Belnap's four-valued logic, and proves its soundness and completeness with respect…
- Cited by 1 (0 self) – Add To MetaCart
-
From Logic Programs to Inductive Definitions
- … are exactly the four-valued consequences of the completion. Since a four-valued relation can be represented…
- Cited by 9 (3 self) – Add To MetaCart
-
A Four-Valued Fuzzy Propositional Logic
- …A Four-Valued Fuzzy Propositional Logic Abstract It is generally accepted that knowledge based…
- Add To MetaCart
-
A Four-Valued Fuzzy Propositional Logic
- …A Four-Valued Fuzzy Propositional Logic Umberto Straccia Istituto di Elaborazione della…
- Cited by 4 (2 self) – Add To MetaCart
-
A Proof-Theoretic Framework for Logic Programming
- … notions. This is essentially a repetition of standard terminology including three- and four-valued…
- Cited by 10 (6 self) – Add To MetaCart
-
(TEL) ÷81-436-74-5511, (FAX) +81-436-74-2592. Yotaro Nakayama
- … Gentzen systems with some existing partial logics, in particular, three-valued and four-valued logics…
- Add To MetaCart
-
Logic programming revisited: logic programs as inductive definitions
- … interpretations map atoms into T WO, threevalued interpretations into T HREE and four-valued interpretations…
- Cited by 31 (20 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
