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

Cited in

(88)

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

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)