Recommendations
Cites work
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 3695177 (Why is no real title available?)
- scientific article; zbMATH DE number 2042619 (Why is no real title available?)
- scientific article; zbMATH DE number 2066280 (Why is no real title available?)
- scientific article; zbMATH DE number 2079836 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 3327941 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- scientific article; zbMATH DE number 3090128 (Why is no real title available?)
- Abstract residuation over lattices
- Algebraic foundations of many-valued reasoning
- Creative and non-creative definitions in the calculus of probability
- Lattice-theoretic models of conjectures, hypotheses and consequences
- Linear logic
- Lukasiewicz-Moisil algebras
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On Fuzzy Logic I Many‐valued rules of inference
- On conjectures in orthocomplemented lattices
- On consequence in approximate reasoning
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Quantum implication
- Quantum logic and physical modalities
- Quantum logic as an implication algebra
- Residuated Lattices
Cited in
(24)- Simulation for lattice-valued doubly labeled transition systems
- 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
- On the reducibility of hypotheses and consequences
- Conditions for the coincidence of the TFR, TRV and CE models
- 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
- Applying CHC models to reasoning in fictions
- 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
- Lattice-theoretic models of conjectures, hypotheses and consequences
- 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
- Approximate bisimulations for fuzzy-transition systems
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)
