Linear strategy for Boolean ring based theorem proving (Q1579733)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear strategy for Boolean ring based theorem proving |
scientific article |
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