On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
From MaRDI portal
Publication:3890663
DOI10.1002/malq.19790250706zbMath0446.03015OpenAlexW2141313404MaRDI QIDQ3890663
Publication date: 1979
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19790250706
residuated latticeL-fuzzy setmany-valued propositional calculigeneral complete-lattice-ordered semigroupsemantics of propositional calculi
Related Items
Fuzzifying groups based on complete residuated lattice-valued logic, Pseudovarieties of algebras with fuzzy equalities., A new approach for classification of filters in residuated lattices, A calculus for containment of fuzzy attributes, \(L\)-almost separation axioms in \(L\)-fuzzifying-bitopologies via complete residuated lattice-valued logic, FUZZY FILTERS ON THE RESIDUATED LATTICES, Fuzzy refutations for probability and multivalued logics, \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note, Fuzzy sets in approximate reasoning. II: Logical approaches, Algebraic properties of complete residuated lattice valued tree automata, Vagueness and Formal Fuzzy Logic: Some Criticisms, Fuzzy logics as families of bivaluated logics, Probability-like functionals and fuzzy logic, Omitting types for infinitary \([0,1\)-valued logic], Lattice-theoretic models of conjectures, hypotheses and consequences, Fuzzy inequational logic, Rational Pavelka logic: the best among three worlds?, Some types of filters in residuated lattices, Categorical approaches to non-commutative fuzzy logic, Perfect Pavelka logic, \(\mathcal{L}\)-fuzzy annihilators in residuated lattices, On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions, Coding tree languages based on lattice-valued logic, Tense operators on non-commutative residuated lattices, Unnamed Item, Omitting uncountable types and the strength of \([0,1\)-valued logics], On the logic foundation of fuzzy reasoning, Nodal filters in Residuated Lattices, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Intuitionistic fuzzy sets and \(L\)-fuzzy sets, Archimedean Residuated Lattices, On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator, A unified approach to four important classes of unary operators, Triple I method based on pointwise sustaining degrees, Fuzzy subsets: A constructive approach, On derivations and their fixed point sets in residuated lattices, Variety theorem for algebras with fuzzy orders, Fuzzy sets and residuated logic, Continuous propositional modal logic, On sets of graded attribute implications with witnessed non-redundancy, Fuzzy \(n\)-fold filters of pseudoresiduated lattices, On minimal sets of graded attribute implications, Characterizations of complete residuated lattice-valued finite tree automata, Some properties of the roots of theories in propositional logic systems, Unified forms of Triple I method, Pavelka-style fuzzy logic in retrospect and prospect, Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem, A categorical semantics for fuzzy predicate logic, Fuzzy logic programming and fuzzy control, Compactness in fuzzy logic, Fuzzy functional dependencies: a comparative survey, Derivation digraphs for dependencies in ordinal and similarity-based data, A paraconsistent many-valued similarity method for multi-attribute decision making, Residuated EQ-algebras may not be residuated lattices, Unnamed Item, On local triangle algebras, Avoiding triviality: Fuzzy implications and conditional events, Turing L-machines and recursive computability for L-maps, TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS, A theorem about infinite-valued sentential logic, Łukasiewicz logic and the divisible extension of probability theory, On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA), On two new classes of stabilizers in residuated lattices, Structural completeness in many-valued logics with rational constants, A Theory of Approximate Reasoning with Type-2 Fuzzy Set, Operations fitting triangular-norm-based biresiduation, Fuzzifying topology based on complete residuated lattice-valued logic. I, Non-fuzzy versions of fuzzy reasoning in classical logics, Regularity in residuated lattices, Monoidal functional dependencies, \(R _{0}\) implication: Characteristics and applications, Pseudo-t-norms and implication operators on a complete Brouwerian lattice, Some new axiomatic extensions of residuated logics
