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

Cited in

(83)

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

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)