Lattice-theoretic models of conjectures, hypotheses and consequences

Artificial Intelligence

Volumn 139, Issue 2, 2002, Pages 253-267

  Ying, Mingsheng ^a   Wang, Huaiqing ^b  

^a TSINGHUA UNIVERSITY   (China)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Conjecture; Consequence; Hypothesis; Orthocomplemented lattice; Residuated lattice; Uncertain reasoning

Indexed keywords

ALGEBRA; FUZZY SETS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; THEOREM PROVING;

UNCERTAIN REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0036680339     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00225-4     Document Type: Article

References (27)

1. On the logic of theory change: Partial meet contradiction and revised functions
2. The logic of quantum mechanics
3. On consequence in approximate reasoning
4. On conjectures and consequences in fuzzy logic
5. Quantum logic
6. Abstract residuation over lattices
7. Residuated lattices
8. Linear logic
9. Introduction to knowledge discovery
10. Probabilistic logic
11. On fuzzy logic I: Many-valued rules of inferences
12. On fuzzy logic II: Enriched residuated lattices and semantics of propositional calculi
13. On fuzzy logic I: Semantical completeness of some many-valued propositional calculi
14. A logic for default reasoning
15. On conjectures in orthocomplemented lattices
16. Deduction theorem for many-valued inference
17. The fundamental theorem of ultraproduct in Pavelka's logic
18. Compactness, the Lowenheim-Skolem property and the direct product of lattices of truth values
19. Fuzzifying topology based complete residuated lattice-valued logic (I)
20. A logic for approximate reasoning
21. Declarative semantics of programming in residuated lattice-valued logic
22. Fuzzy topology based on residuated lattice-valued logic