|
|||||
|
|
Consequence Operations Based on Hypergraph Satisfiability |
|
| Authors: | Kolany Adam |
| Abstract: | Four consequence operators based on hypergraph satisfiability are defined. Their properties are explored and interconnections are displayed. Finally their relation to the case of the Classical Propositional Calculus is shown. |
| Keywords: | hypergraph clause satisfiability consistency resolution compactness consequence operators |
| 本文献已被 SpringerLink 等数据库收录！ | |