Title | ||
---|---|---|
The Resolution for Ruogh Propositional Logic with Lower (L) and Upper (h) Approximate Operators |
Abstract | ||
---|---|---|
Based on First-Order Rough Logic Studied by Lin and Liu, this paper establishes rough propositional logical system with rough
lower (L) and upper (H) approximate operators. It discusses the resolution principle in the system. The soundness of resolution
deduction, soundness and completeness of the refutation are also studied in the paper.
|
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/978-3-540-48061-7_42 | RSFDGrC |
Keywords | Field | DocType |
soundness theorem,resolu- tion deduction,approximate operators,resolution principle,rought propositional logic,refutaion.,ruogh propositional logic,first order,propositional logic | Discrete mathematics,Propositional calculus,First-order logic,Operator (computer programming),Modal logic,Resolution (logic),Soundness,Completeness (statistics),Propositional variable,Mathematics | Conference |
Volume | ISSN | ISBN |
1711 | 0302-9743 | 3-540-66645-1 |
Citations | PageRank | References |
2 | 0.39 | 4 |
Authors | ||
1 |