Introduction (Q5892200): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4245228845 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic hoops: an algebraic study of continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding logics into product logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of t-tautologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy description logics under Gödel semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: How Fuzzy Is My Fuzzy Description Logic? / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Standard Gödel modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bi-modal Godel logic over [0,1]-valued Kripke frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm / rank
 
Normal rank
Property / cites work
 
Property / cites work: A New Proof of the Completeness of the Lukasiewicz Axioms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal systems of fuzzy logic and their fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2871198 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3060319 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated fuzzy logics with an involutive negation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hoops and Fuzzy Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logical approach to fuzzy truth hedges / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3989936 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4022223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for reasoning about the probability of fuzzy events / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models for Many-Valued Probabilistic Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics for belief functions on MV-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-t-norms and pseudo-BL algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Łukasiewicz's four-valued modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy description logics and \(t\)-norm based fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4542634 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4460673 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2757760 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards metamathematics of weak arithmetics over fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A qualitative fuzzy possibilistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete many-valued logic with product-conjunction / rank
 
Normal rank
Property / cites work
 
Property / cites work: A HEDGE FOR GÖDEL FUZZY LOGIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On very true / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the notion of truth in fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2711325 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Observations on the monoidal t-norm logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4680307 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy Logics with Noncommutative Conjuctions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692887 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Making fuzzy description logic more general / rank
 
Normal rank
Property / cites work
 
Property / cites work: A non-arithmetical Gödel logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On arithmetic in the Cantor-Łukasiewicz fuzzy set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: On theories and models in fuzzy predicate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of fuzzy probability logics. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5445163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the first‐order logic of complete BL‐chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical complexity of fuzzy predicate logics -- a survey. II. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On fuzzy modal logics \(S5(\mathcal C)\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4450450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-valued logic and mixed integer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending maps to profinite completions in finitely generated quasivarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4836218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Proof Theory of G\"odel Modal Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Satisfiability in many-valued sentential logic is NP-complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5478209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2717787 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3533554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truth-depressing hedges and BL-logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012245 / rank
 
Normal rank

Latest revision as of 20:23, 10 July 2024

scientific article; zbMATH DE number 6489747
Language Label Description Also known as
English
Introduction
scientific article; zbMATH DE number 6489747

    Statements

    Introduction (English)
    0 references
    0 references
    0 references
    0 references
    6 October 2015
    0 references
    fuzzy logic
    0 references
    computational complexity
    0 references
    BL-algebras
    0 references
    modal logic
    0 references
    description logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers