On witnessed models in fuzzy logic
From MaRDI portal
Publication:3423151
DOI10.1002/MALQ.200610027zbMATH Open1110.03013OpenAlexW2143075874MaRDI QIDQ3423151FDOQ3423151
Authors: Petr Hájek
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
Recommendations
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35)
Cites Work
Cited In (21)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics
- On Fuzzy Theories with Crisp Sentences
- On elementary equivalence in fuzzy predicate logics
- Back-and-forth systems for fuzzy first-order models
- On semantic games for Łukasiewicz logic
- On witnessed models in fuzzy logic II
- On fuzzy modal logics \(S5(\mathcal C)\)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- On decidability of concept satisfiability in description logic with product semantics
- Model-theoretic constructions in fuzzy logic with evaluated syntax
- Reasoning within fuzzy OWL 2 EL revisited
- Triangular norm based predicate fuzzy logics
- All about fuzzy description logics and applications
- Strict core fuzzy logics and quasi-witnessed models
- Note on witnessed Gödel logics with Delta
- On the failure of the finite model property in some fuzzy description logics
- The variety generated by all the ordinal sums of perfect MV-chains
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
- Fuzzy description logics with general t-norms and datatypes
- On witnessed models in fuzzy logic. III: Witnessed Gödel logics
This page was built for publication: On witnessed models in fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3423151)