Lattice-theoretic models of conjectures, hypotheses and consequences
From MaRDI portal
Publication:2676587
DOI10.1016/S0004-3702(02)00225-4zbMath1506.68161WikidataQ123026826 ScholiaQ123026826MaRDI QIDQ2676587
Huaiqing Wang, Ming Sheng Ying
Publication date: 27 September 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Reasoning under uncertainty in the context of artificial intelligence (68T37) Complemented lattices, orthocomplemented lattices and posets (06C15)
Related Items (4)
On the reducibility of hypotheses and consequences ⋮ Consequences and conjectures in preordered sets ⋮ Applying CHC Models to Reasoning in Fictions ⋮ A note on Trillas' CHC models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Declarative semantics of programming in residuated lattice-valued logic
- Probabilistic logic
- A logic for default reasoning
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Fuzzifying topology based on complete residuated lattice-valued logic. I
- On conjectures in orthocomplemented lattices
- On the logic of theory change: Partial meet contraction and revision functions
- On Fuzzy Logic I Many‐valued rules of inference
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Deduction Theorem for Many‐Valued Inference
- THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
- COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
- On consequence in approximate reasoning
- A logic for approximate reasoning
- Abstract residuation over lattices
- Fuzzy topology based on residuated lattice-valued logic
This page was built for publication: Lattice-theoretic models of conjectures, hypotheses and consequences