On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
From MaRDI portal
Publication:3890664
DOI10.1002/malq.19790252510zbMath0446.03016OpenAlexW2040277462MaRDI QIDQ3890664
Publication date: 1979
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19790252510
axiomatizabilityresiduated latticeL-fuzzy setsemantical completenessmany-valued propositional calculi
Related Items
Pseudovarieties of algebras with fuzzy equalities., A calculus for containment of fuzzy attributes, Fuzzy refutations for probability and multivalued logics, Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note, Fuzzy sets in approximate reasoning. II: Logical approaches, On standard models of fuzzy modal logics, Algebraic properties of complete residuated lattice valued tree automata, Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications, The relation between inference and interpolation in the framework of fuzzy systems, Vagueness and Formal Fuzzy Logic: Some Criticisms, Fuzzy control from the logical point of view, Fuzzy logics as families of bivaluated logics, A predicate extension of real valued logic, Fuzzy logic and arithmetical hierarchy, Fuzzy logic with countable evaluated syntax revisited, The role of metalanguage in graded logical approaches, Omitting types for infinitary \([0,1\)-valued logic], Petr Hájek: A Scientific Biography, Consequence and Degrees of Truth in Many-Valued Logic, Lattice-theoretic models of conjectures, hypotheses and consequences, Fuzzy inequational logic, Rational Pavelka logic: the best among three worlds?, Mathematical Fuzzy Logics, A note on axiomatizations of Pavelka-style complete fuzzy logics, Perfect Pavelka logic, Residuated skew lattices, On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions, Coding tree languages based on lattice-valued logic, Unnamed Item, Omitting uncountable types and the strength of \([0,1\)-valued logics], On the logic foundation of fuzzy reasoning, A survey of fuzzy implication algebras and their axiomatization, Introduction, Characterizations of fuzzy finite automata., Reasoning about norms under uncertainty in dynamic environments, Formal theories and linguistic descriptions., A unified approach to four important classes of unary operators, Linguistically oriented fuzzy logic control and its design, Variety theorem for algebras with fuzzy orders, Continuous propositional modal logic, On sets of graded attribute implications with witnessed non-redundancy, On minimal sets of graded attribute implications, Extension properties and subdirect representation in abstract algebraic logic, Fuzzy logic programming reduced to reasoning with attribute implications, The law of importation versus the exchange principle on fuzzy implications, Characterizations of complete residuated lattice-valued finite tree automata, Unified forms of Triple I method, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), Fuzzy logic from the viewpoint of machine intelligence, Pavelka-style fuzzy logic in retrospect and prospect, A proof of completeness for continuous first-order 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, On Fuzzy Logic I Many‐valued rules of inference, A paraconsistent many-valued similarity method for multi-attribute decision making, Graded LinClosure and Its Role in Relational Data Analysis, Using one axiom to characterize \(L\)-fuzzy rough approximation operators based on residuated lattices, Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences, A new model for linguistic modifiers, Rules of inference in fuzzy sentential logic, A theorem about infinite-valued sentential logic, \(L\)-valued propositional logic \(L_{\text{vpl}}\), Łukasiewicz logic and the divisible extension of probability theory, The three semantics of fuzzy sets, Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences, On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA), \(U\)-Sets as a possibilistic set theory, Similarities between powersets of terms, Structural completeness in many-valued logics with rational constants, A survey on different triangular norm-based fuzzy logics, A Theory of Approximate Reasoning with Type-2 Fuzzy Set, Fuzzy sets - the approximation of semisets, Algebraic structures in fuzzy logic, Fuzzifying topology based on complete residuated lattice-valued logic. I, On the complexity of validity degrees in Łukasiewicz logic, Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic, Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic, Monoidal functional dependencies, Hierarchical structure and applications of fuzzy logical systems
