On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
From MaRDI portal
Publication:3890664
DOI10.1002/MALQ.19790252510zbMATH Open0446.03016OpenAlexW2040277462MaRDI QIDQ3890664FDOQ3890664
Authors: Jan Pavelka 
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
residuated latticeaxiomatizabilityL-fuzzy setsemantical completenessmany-valued propositional calculi
Cited In (83)
- 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
- Graded LinClosure and Its Role in Relational Data Analysis
- Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
- Monoidal functional dependencies
- Extension properties and subdirect representation in abstract algebraic logic
- Consequence and Degrees of Truth in Many-Valued Logic
- A paraconsistent many-valued similarity method for multi-attribute decision making
- Łukasiewicz logic and the divisible extension of probability theory
- Rational Pavelka logic: the best among three worlds?
- Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences
- A predicate extension of real valued logic
- Structural completeness in many-valued logics with rational constants
- Compactness in fuzzy logic
- \(U\)-Sets as a possibilistic set theory
- Introduction
- 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
- 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
- On standard models of fuzzy modal logics
- Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications
- On sets of graded attribute implications with witnessed non-redundancy
- Fuzzifying topology based on complete residuated lattice-valued logic. I
- 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
- Fuzzy control from the logical point of view
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)
- 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
- Residuated skew lattices
- Linguistically oriented fuzzy logic control and its design
- A theorem about infinite-valued sentential logic
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Fuzzy logic and arithmetical hierarchy
- Formal theories and linguistic descriptions.
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- The three semantics of fuzzy sets
- Title not available (Why is that?)
- 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.
- Similarities between powersets of terms
- A survey on different triangular norm-based fuzzy logics
- Continuous propositional modal logic
- Characterizations of complete residuated lattice-valued finite tree automata
- Reasoning about norms under uncertainty in dynamic environments
- Fuzzy logic from the viewpoint of machine intelligence
- A new model for linguistic modifiers
- Algebraic structures in fuzzy logic
- Lattice-theoretic models of conjectures, hypotheses and consequences
- A survey of fuzzy implication algebras and their axiomatization
- The relation between inference and interpolation in the framework of fuzzy systems
- The role of metalanguage in graded logical approaches
- Fuzzy refutations for probability and multivalued logics
- Fuzzy sets in approximate reasoning. II: Logical approaches
- 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
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- Vagueness and Formal Fuzzy Logic: Some Criticisms
- Coding tree languages based on lattice-valued 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
- Mathematical Fuzzy Logics
- Hierarchical structure and applications of fuzzy logical systems
- A Theory of Approximate Reasoning with Type-2 Fuzzy Set
- 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)
