Relevant logic programming (Q1181715)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relevant logic programming |
scientific article; zbMATH DE number 28717
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relevant logic programming |
scientific article; zbMATH DE number 28717 |
Statements
Relevant logic programming (English)
0 references
27 June 1992
0 references
Several authors suggested extension of Horn clause programming using bottom-up proof search in Gentzen-type systems for intuitionistic logic with suitable restriction of the language. The author describes a similar program based on the relevance logic LR\(^ +\) without negation and distributivity axiom. Language is restricted to banish negative occurrences of disjunction. For this fragment, relevance logic R is conservative over RL\(^ +\) as the author conjectured. This is Corollary 1 in the reviewer's paper [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 32, 90-97 (1973; Zbl 0374.02017)] .
0 references
relevance logic
0 references
