Linear strategy for Boolean ring based theorem proving (Q1579733)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1506998
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Linear strategy for Boolean ring based theorem proving |
scientific article; zbMATH DE number 1506998 |
Statements
Linear strategy for Boolean ring based theorem proving (English)
0 references
14 September 2000
0 references
Two inference rules are discussed in Boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear strategy. Moreover, by introducing a partial ordering on atoms, pseudo O-linear and O-linear strategies are presented. The former is complete, the latter, however, is complete for clausal theorem proving.
0 references
inference rules
0 references
Boolean ring
0 references
0.91276217
0 references
0 references
0.8640635
0 references
0 references
0 references
0 references
0.85578084
0 references
