On witnessed models in fuzzy logic

DOI10.1002/MALQ.200610027MaRDI QIDQ3423151zbMATHOpenAlexFDO

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

zbMATH Keywords

completenessmathematical fuzzy logicarithmetical complexitywitnessed models

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• On witnessed models in fuzzy logic. III: Witnessed Gödel logics
• On witnessed models in fuzzy logic II
• Strict core fuzzy logics and quasi-witnessed models
• On elementary equivalence in fuzzy predicate logics
• Note on witnessed Gödel logics with Delta

Cites work

• On theories and models in fuzzy predicate logics
• Provability in predicate product logic

Cited in

(21)

• On the failure of the finite model property in some fuzzy description logics
• SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
• On witnessed models in fuzzy logic II
• Triangular norm based predicate fuzzy logics
• Back-and-forth systems for fuzzy first-order models
• Fuzzy description logics with general t-norms and datatypes
• On semantic games for Łukasiewicz logic
• All about fuzzy description logics and applications
• On witnessed models in fuzzy logic. III: Witnessed Gödel logics
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• On fuzzy modal logics \(S5(\mathcal C)\)
• The variety generated by all the ordinal sums of perfect MV-chains
• Note on witnessed Gödel logics with Delta
• On Fuzzy Theories with Crisp Sentences
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
• Reasoning within fuzzy OWL 2 EL revisited
• On decidability of concept satisfiability in description logic with product semantics
• On elementary equivalence in fuzzy predicate logics
• Strict core fuzzy logics and quasi-witnessed models
• Generalizing type-2 fuzzy ontologies and type-2 fuzzy description 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)