On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi

Cited in

(88)

Fuzzy sets - the approximation of semisets
Fuzzy inequational logic
Derivation digraphs for dependencies in ordinal and similarity-based data
On the logic foundation of fuzzy reasoning
Petr Hájek: A Scientific Biography
Algebraic properties of complete residuated lattice valued tree automata
On the complexity of validity degrees in Łukasiewicz logic
A proof of completeness for continuous first-order logic
Fuzzy logic and the Linz seminar: themes and some personal reminiscences
On standard models of fuzzy modal logics
Consequence and degrees of truth in many-valued logic
Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications
Fuzzy logic from the logical point of view
Logic programming in RPL and RQL
On sets of graded attribute implications with witnessed non-redundancy
Fuzzifying topology based on complete residuated lattice-valued logic. I
Omitting uncountable types and the strength of \([0,1]\)-valued logics
Fuzzy functional dependencies: a comparative survey
Pseudovarieties of algebras with fuzzy equalities.
Fuzzy logic programming and fuzzy control
A unified approach to four important classes of unary operators
On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)
Fuzzy control from the logical point of view
Graded LinClosure and Its Role in Relational Data Analysis
A calculus for containment of fuzzy attributes
Fuzzy logic with countable evaluated syntax revisited
Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences
Linguistically oriented fuzzy logic control and its design
Residuated skew lattices
Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
A theorem about infinite-valued sentential logic
Monoidal functional dependencies
Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
Extension properties and subdirect representation in abstract algebraic logic
A theory of approximate reasoning with type-2 fuzzy set
Vagueness and formal fuzzy logic: some criticisms
Fuzzy logic and arithmetical hierarchy
Formal theories and linguistic descriptions.
\(L\)-valued propositional logic \(L_{\text{vpl}}\)
The three semantics of fuzzy sets
Rules of inference in fuzzy sentential logic
The law of importation versus the exchange principle on fuzzy implications
Fuzzy logics as families of bivaluated logics
Characterizations of fuzzy finite automata.
scientific article; zbMATH DE number 7687773 (Why is no real title available?)
A paraconsistent many-valued similarity method for multi-attribute decision making
Similarities between powersets of terms
A survey on different triangular norm-based fuzzy logics
Propositional logics for the Lawvere quantale
Characterizations of complete residuated lattice-valued finite tree automata
Continuous propositional modal logic
Reasoning about norms under uncertainty in dynamic environments
New foundations of reasoning via real-valued first-order logics
A new model for linguistic modifiers
Fuzzy logic from the viewpoint of machine intelligence
Towards a \(\Delta\)-based metric framework for \(\mathrm{NM}_\Delta\): \(\Delta\) truth degree and \(\Delta\) logic metric space
Algebraic structures in fuzzy logic
Łukasiewicz logic and the divisible extension of probability theory
A survey of fuzzy implication algebras and their axiomatization
The amalgamation property in the variety of regular double stone algebras: a constructive view
The relation between inference and interpolation in the framework of fuzzy systems
Lattice-theoretic models of conjectures, hypotheses and consequences
The role of metalanguage in graded logical approaches
Rational Pavelka logic: the best among three worlds?
Fuzzy refutations for probability and multivalued logics
Fuzzy sets in approximate reasoning. II: Logical approaches
A predicate extension of real valued logic
On Fuzzy Logic I Many‐valued rules of inference
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
A note on axiomatizations of Pavelka-style complete fuzzy logics
Perfect Pavelka logic
Structural completeness in many-valued logics with rational constants
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
\(U\)-Sets as a possibilistic set theory
Coding tree languages based on lattice-valued logic
Compactness in fuzzy logic
Unified forms of Triple I method
Pavelka-style fuzzy logic in retrospect and prospect
Using one axiom to characterize L-fuzzy rough approximation operators based on residuated lattices
Introduction
Mathematical Fuzzy Logics
Hierarchical structure and applications of fuzzy logical systems
Residuated \textbf{L}-modules
Omitting types for infinitary \([0,1]\)-valued logic
Variety theorem for algebras with fuzzy orders
On minimal sets of graded attribute implications
Fuzzy logic programming reduced to reasoning with attribute implications

This page was built for publication: On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3890664)