On Fuzzy Logic I Many‐valued rules of inference
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 839069 (Why is no real title available?)
- A treatise on many-valued logics
- Algebraic foundations of many-valued reasoning
- Deduction Theorem for Many‐Valued Inference
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- First-order fuzzy logic
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Fuzzy logic with countable evaluated syntax revisited
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- On expansions of WNM t-norm based logics with truth-constants
- On fuzzy type theory
- Semantic theory of finite lattice-valued propositional logic
- THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
- Triangular norm based predicate fuzzy logics
- Which logic is the real fuzzy logic?
Cited in
(only showing first 100 items - show all)- First-order fuzzy logic
- Logics for approximate entailment in ordered universes of discourse
- Integrated semantics and logic metric spaces
- The generalized truth degree of quantitative logic in the logic system L_n^* (n-valued NM-logic system)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Fuzzy inequational logic
- Effectiveness and multivalued logics
- Attribute dependencies for data with grades I,
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- Derivation digraphs for dependencies in ordinal and similarity-based data
- The algebra of opposition (and universal logic interpretations)
- On the logic foundation of fuzzy reasoning
- Bilattices for deductions in multi-valued logic
- Algebraic properties of complete residuated lattice valued tree automata
- Generalised graded interpolation
- Inferences in probability logic
- ON AN APPROACH TO THE FUZZIFICATION OF CLASSICAL ARROW'S AGGREGATION PROBLEM
- scientific article; zbMATH DE number 1396179 (Why is no real title available?)
- Parameterized uncertain reasoning approach based on a lattice-valued logic
- scientific article; zbMATH DE number 975737 (Why is no real title available?)
- Omitting types in fuzzy logic with evaluated syntax
- FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER
- Łukasiewicz games: a logic-based approach to quantitative strategic interactions
- On equivalent forms of fuzzy logic systems NM and IMTL
- On revising fuzzy belief bases
- Some Properties of Residuated Lattices
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- Knowledge spaces with graded knowledge states
- Fuzzy topology based on residuated lattice-valued logic
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Local possibilistic logic
- Reasoning about mathematical fuzzy logic and its future
- Two consistent many-valued logics for paraconsistent phenomena
- On sets of graded attribute implications with witnessed non-redundancy
- Fuzzifying topology based on complete residuated lattice-valued logic. I
- On triangular norm-based propositional fuzzy logics
- Omitting uncountable types and the strength of \([0,1]\)-valued logics
- Graded consequence revisited
- Fuzzy functional dependencies: a comparative survey
- Randomization of classical inference patterns and its application
- Pseudovarieties of algebras with fuzzy equalities.
- Construction of finite L-groups.
- Binary resolution over Boolean lattices
- Filter-based resolution principle for lattice-valued propositional logic LP(X)
- The logic of tied implications. II. Syntax
- Fuzzy logic programming and fuzzy control
- Introducing Grades in Deontic Logics
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- Multivalued logic to transform potential into actual objects
- On consequence in approximate reasoning
- A unified approach to four important classes of unary operators
- Possibilistic conditioning framed in fuzzy logics
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)
- Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems
- scientific article; zbMATH DE number 7547151 (Why is no real title available?)
- Do exact shapes of fuzzy sets matter?
- A calculus for containment of fuzzy attributes
- Permutable fuzzy consequence and interior operators and their connection with fuzzy relations
- Confluence and termination of fuzzy relations
- Glimpsing at guessing
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- On the (fuzzy) logical content of CADIAG-2
- A theorem about infinite-valued sentential logic
- Algebras with fuzzy equalities
- Fuzzy Horn logic. II. Implicationally defined classes.
- Compactness theorems of fuzzy semantics
- Monoidal functional dependencies
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- An algebraic study of Peterson's intermediate syllogisms
- A theory of approximate reasoning with type-2 fuzzy set
- Computational complexities of axiomatic extensions of monoidal t-norm based logic
- Comparing fuzzy and crisp deduction systems
- On vagueness, truth values and fuzzy logics
- Automated prover for attribute dependencies in data with grades
- A note on Trillas' CHC models
- A Para Consistent Fuzzy Logic
- 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
- An intrinsic fuzzy set on the universe of discourse of predicate formulas
- Soft Constraints Processing over Divisible Residuated Lattices
- Vagueness and formal fuzzy logic: some criticisms
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Strong non-standard completeness for fuzzy logics
- Fuzzy topology via fuzzy geometric logic with graded consequence
- Elements of model theory in higher-order fuzzy logic
- Propositional calculus under adjointness
- Back-and-forth systems for fuzzy first-order models
- Fuzzy reasoning based on the extension principle
- From classical to fuzzy type theory
- Fuzzy logics as families of bivaluated logics
- Fuzzy n-fold positive implicative filters in lattice implication algebras
- On fuzzy fantastic filters of lattice implication algebras
- scientific article; zbMATH DE number 7687773 (Why is no real title available?)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Adding structure to MV-algebras
- A paraconsistent many-valued similarity method for multi-attribute decision making
- On a strong negation-based representation of modalities
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata
This page was built for publication: On Fuzzy Logic I Many‐valued rules of inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3874181)
