On witnessed models in fuzzy logic
From MaRDI portal
Publication:3423151
DOI10.1002/malq.200610027zbMath1110.03013OpenAlexW2143075874MaRDI QIDQ3423151
Publication date: 20 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610027
Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35) Many-valued logic (03B50)
Related Items
The variety generated by all the ordinal sums of perfect MV-chains ⋮ Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ On elementary equivalence in fuzzy predicate logics ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ All About Fuzzy Description Logics and Applications ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ On Semantic Games for Łukasiewicz Logic ⋮ SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC ⋮ On Fuzzy Theories with Crisp Sentences ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Fuzzy description logics with general t-norms and datatypes
Cites Work
