A note on Trillas' CHC models
DOI10.1016/J.ARTINT.2006.12.002zbMATH Open1168.06302DBLPjournals/ai/Qiu07OpenAlexW2000406266WikidataQ62049456 ScholiaQ62049456MaRDI QIDQ1028906FDOQ1028906
Publication date: 9 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2006.12.002
Recommendations
quantum logicresiduated latticesconjecturesorthomodular latticesconsequencesorthocomplemented lattices
Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) General logic (03B99)
Cites Work
- On Fuzzy Logic I Many‐valued rules of inference
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Title not available (Why is that?)
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Title not available (Why is that?)
- Title not available (Why is that?)
- Residuated Lattices
- Lukasiewicz-Moisil algebras
- Abstract residuation over lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Creative and non-creative definitions in the calculus of probability
- Quantum logic and physical modalities
- Quantum logic as an implication algebra
- Title not available (Why is that?)
- On conjectures in orthocomplemented lattices
- Lattice-theoretic models of conjectures, hypotheses and consequences
- Title not available (Why is that?)
- Quantum implication
- On consequence in approximate reasoning
Cited In (22)
- Simulation for lattice-valued doubly labeled transition systems
- Applying CHC Models to Reasoning in Fictions
- Algebraic properties of complete residuated lattice valued tree automata
- On Conjectures in t-Norm Based Fuzzy Logics
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- Bisimulations for fuzzy automata
- Conditions for the coincidence of the TFR, TRV and CE models
- On the reducibility of hypotheses and consequences
- Weak bisimulations for fuzzy automata
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata
- Characterizations of complete residuated lattice-valued finite tree automata
- Lattice-valued simulations for quantitative transition systems
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Conjecturing from consequences
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Consequences and conjectures in preordered sets
This page was built for publication: A note on Trillas' CHC models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028906)
