On Fuzzy Logic I Many‐valued rules of inference

DOI10.1002/malq.19790250304zbMath0435.03020OpenAlexW1966321785MaRDI QIDQ3874181

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790250304

zbMATH Keywords

consequence operations fuzzy syntax many-valued rule of inference

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Fuzzy Horn logic. II. Implicationally defined classes. ⋮ Integrated semantics and logic metric spaces ⋮ Similarity-based unification: A multi-adjoint approach ⋮ Pseudovarieties of algebras with fuzzy equalities. ⋮ Construction of finite $\mathbf L$-groups. ⋮ Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application ⋮ A calculus for containment of fuzzy attributes ⋮ Fuzzifying topological groups based on completely distributed residuated lattice-valued logic. II: Quotient groups ⋮ Inferences in probability logic ⋮ First-order fuzzy logic ⋮ The logic of tied implications. II. Syntax ⋮ Binary resolution over Boolean lattices ⋮ Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note ⋮ Possibilistic conditioning framed in fuzzy logics ⋮ Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Filter-based resolution principle for lattice-valued propositional logic LP$(X)$ ⋮ A complete many-valued logic with product-conjunction ⋮ An intrinsic fuzzy set on the universe of discourse of predicate formulas ⋮ Comparing fuzzy and crisp deduction systems ⋮ On triangular norm-based propositional fuzzy logics ⋮ Fuzzy logics as families of bivaluated logics ⋮ Syntax of first-order lattice valued logic system FM ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Reasoning with graded information: the case of diagnostic rating scales in healthcare ⋮ Omitting types for infinitary $[0,1$-valued logic] ⋮ A logic of graded attributes ⋮ Fuzzy inequational logic ⋮ An algebraic study of Peterson's intermediate syllogisms ⋮ Graded consequence: an institution theoretic study ⋮ On implicative closure operators in approximate reasoning. ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Perfect Pavelka logic ⋮ Representation of fuzzy subsets by Galois connections ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ On equivalent forms of fuzzy logic systems NM and IMTL ⋮ On strong standard completeness in some $\mathrm{MTL}_\Delta$ expansions ⋮ Coding tree languages based on lattice-valued logic ⋮ Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems ⋮ On the logic foundation of fuzzy reasoning ⋮ The extensions $\mathcal L_n^{\ast}$ of the formal system $\mathcal L^{\ast}$ and their completeness. ⋮ Compactness theorems of fuzzy semantics ⋮ On fuzzy fantastic filters of lattice implication algebras ⋮ Fuzzy $n$-fold positive implicative filters in lattice implication algebras ⋮ Formalized theory of general fuzzy reasoning. ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Pavelka-style completeness in expansions of Łukasiewicz logic ⋮ Normal residuated lattices ⋮ A unified approach to four important classes of unary operators ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Variety theorem for algebras with fuzzy orders ⋮ Permutable fuzzy consequence and interior operators and their connection with fuzzy relations ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ An investigation on Boolean prime filters in BL-algebras ⋮ On minimal sets of graded attribute implications ⋮ Automata theory based on complete residuated lattice-valued logic: Turing machines ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Characterizations of complete residuated lattice-valued finite tree automata ⋮ A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata ⋮ Elements of model theory in higher-order fuzzy logic ⋮ Standard Gödel modal logics ⋮ Knowledge spaces with graded knowledge states ⋮ Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic ⋮ Glimpsing at guessing ⋮ Fuzzy sets and formal logics ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Triangular norm based predicate fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Residuated lattices of size $\leq 12$ ⋮ Automata theory based on complete residuated lattice-valued logic: Reduction and minimization ⋮ Graded consequence revisited ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ On the (fuzzy) logical content of CADIAG-2 ⋮ Fuzzy logic programming and fuzzy control ⋮ The generalized truth degree of quantitative logic in the logic system $\mathcal L_n^*$ ($n$-valued NM-logic system) ⋮ Confluence and termination of fuzzy relations ⋮ Fuzzy functional dependencies: a comparative survey ⋮ Derivation digraphs for dependencies in ordinal and similarity-based data ⋮ On a strong negation-based representation of modalities ⋮ A paraconsistent many-valued similarity method for multi-attribute decision making ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization ⋮ On vagueness, truth values and fuzzy logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ A note on Trillas' CHC models ⋮ Łukasiewicz logic and the divisible extension of probability theory ⋮ On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ 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 ⋮ Structural completeness in many-valued logics with rational constants ⋮ Fuzzy logic or Lukasiewicz logic: A clarification ⋮ EQ-algebras ⋮ Algebras of fuzzy sets ⋮ Fuzzifying topology based on complete residuated lattice-valued logic. I ⋮ Generalised graded interpolation ⋮ Algebras with fuzzy equalities ⋮ Propositional calculus under adjointness ⋮ On revising fuzzy belief bases ⋮ Logics for approximate entailment in ordered universes of discourse ⋮ Łukasiewicz Games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equivalence in automata theory based on complete residuated lattice-valued logic ⋮ FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER ⋮ Fuzzy topology via fuzzy geometric logic with graded consequence ⋮ Some Properties of Residuated Lattices ⋮ From Classical to Fuzzy Type Theory ⋮ On lifting quasi-filters and strong lifting quasi-filters in MV-algebras ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Meta-logic programming for a synonymy logic ⋮ FUZZY LOGIC, FUZZY SETS, AND NATURAL LANGUAGES ⋮ Fuzzy sets in approximate reasoning. II: Logical approaches ⋮ Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Algebraic properties of complete residuated lattice valued tree automata ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ On consequence in approximate reasoning ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ Unnamed Item ⋮ On closure properties of $\mathcal{L}$-valued linear languages ⋮ Consequence operators, interior operators and fuzzy relations ⋮ Preservation in many-valued truth institutions ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Unnamed Item ⋮ ON AN APPROACH TO THE FUZZIFICATION OF CLASSICAL ARROW'S AGGREGATION PROBLEM ⋮ Attribute dependencies for data with grades I^, ⋮ Introducing Grades in Deontic Logics ⋮ Unnamed Item ⋮ BASIC ALGORITHM FOR ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES IN GRADED SETTING ⋮ Omitting uncountable types and the strength of $[0,1$-valued logics] ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ Local possibilistic logic ⋮ Fuzzy logic programming ⋮ Unnamed Item ⋮ Multivalued logic to transform potential into actual objects ⋮ Multi-valued Logic for a Point-Free Foundation of Geometry ⋮ Unnamed Item ⋮ PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC ⋮ Randomization of classical inference patterns and its application ⋮ Strong non-standard completeness for fuzzy logics ⋮ Fuzzy reasoning based on the extension principle ⋮ Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic ⋮ Continuous propositional modal logic ⋮ Unified forms of Triple I method ⋮ Functorial representation theorems for MV$_\Delta$ algebras with additional operators ⋮ Fuzzy topology based on residuated lattice-valued logic ⋮ What is mathematical fuzzy logic ⋮ Which logic is the real fuzzy logic? ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Computational complexity of t-norm based propositional fuzzy logics with rational truth constants ⋮ A categorical semantics for fuzzy predicate logic ⋮ $\alpha$-resolution principle based on lattice-valued propositional logic $\text{LP} (X)$ ⋮ $\alpha$-resolution principle based on first-order lattice-valued logic $\text{LF}(X)$ ⋮ Unnamed Item ⋮ Sequent calculus and data fusion ⋮ Fuzzy control as a fuzzy deduction system ⋮ A Para Consistent Fuzzy Logic ⋮ Adding structure to MV-algebras ⋮ REPRESENTATION OF EXPERT KNOWLEDGE AS A FUZZY AXIOMATIC THEORY ⋮ Compactness in fuzzy logic ⋮ Fuzzy propositional logic associated with quantum computational gates ⋮ ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft ⋮ Issues on adjointness in multiple-valued logics ⋮ Do exact shapes of fuzzy sets matter? ⋮ Automated prover for attribute dependencies in data with grades ⋮ A theorem about infinite-valued sentential logic ⋮ Soft Constraints Processing over Divisible Residuated Lattices ⋮ Attribute implications in \textbf{L}-concept analysis with positive and negative attributes: validity and properties of models ⋮ Boolean fuzzy logic and generalized capacities ⋮ Omitting types in fuzzy logic with evaluated syntax ⋮ Soft Lattice Implication Algebras ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena ⋮ Hyperresolution for Gödel logic with truth constants ⋮ Subtypes in fuzzy type theory ⋮ A small set of axioms for residuated logic ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Unnamed Item ⋮ A Theory of Approximate Reasoning with Type-2 Fuzzy Set ⋮ Fuzzy attribute logic over complete residuated lattices ⋮ Graded consequence relations and fuzzy closure operator ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ AN APPROACH TOWARD CONSISTENCY DEGREES OF FUZZY THEORIES ⋮ Monoidal functional dependencies ⋮ Bilattices for deductions in multi-valued logic ⋮ Effectiveness and multivalued logics

Cites Work