A note on Trillas' CHC models

DOI10.1016/j.artint.2006.12.002zbMath1168.06302OpenAlexW2000406266WikidataQ62049456 ScholiaQ62049456MaRDI QIDQ1028906

Dao Wen Qiu

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

zbMATH Keywords

orthomodular latticesquantum logicconjecturesresiduated latticesconsequencesorthocomplemented lattices

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) General logic (03B99)

Related Items

Weak bisimulations for fuzzy automata, On the reducibility of hypotheses and consequences, Algebraic properties of complete residuated lattice valued tree automata, Bisimulations for fuzzy automata, On Conjectures in t-Norm Based Fuzzy Logics, Lattice-valued simulations for quantitative transition systems, Conjecturing from consequences, Determinization of fuzzy automata with membership values in complete residuated lattices, GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED, Nondeterministic fuzzy automata with membership values in complete residuated lattices, Automata theory based on complete residuated lattice-valued logic: Turing machines, Characterizations of complete residuated lattice-valued finite tree automata, A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata, Automata theory based on complete residuated lattice-valued logic: Reduction and minimization, Consequences and conjectures in preordered sets, Applying CHC Models to Reasoning in Fictions, 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, Lattice-valued fuzzy Turing machines: computing power, universality and efficiency, Simulation for lattice-valued doubly labeled transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Lukasiewicz-Moisil algebras
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Quantum logic and physical modalities
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Quantum implication
• Algebraic foundations of many-valued reasoning
• On conjectures in orthocomplemented lattices
• Creative and non-creative definitions in the calculus of probability
• Lattice-theoretic models of conjectures, hypotheses and consequences
• On Fuzzy Logic I Many‐valued rules of inference
• On consequence in approximate reasoning
• Quantum logic as an implication algebra
• Abstract residuation over lattices
• Residuated Lattices