On witnessed models in fuzzy logic. III: Witnessed Gödel logics

DOI10.1002/MALQ.200810047MaRDI QIDQ3552393zbMATH OpenOpenAlexFDO

Authors Petr Hájek

Publication date 15 April 2010

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200810047

zbMATH Keywords

arithmetical complexityGödel logicmathematical fuzzy logicwitnessed models

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• On witnessed models in fuzzy logic
• Note on witnessed Gödel logics with Delta
• A non-arithmetical Gödel logic
• On witnessed models in fuzzy logic II
• Strict core fuzzy logics and quasi-witnessed models

Cites work

• A non-arithmetical Gödel logic
• First-order Gödel logics
• Metamathematics of fuzzy logic
• Note on witnessed Gödel logics with Delta
• On witnessed models in fuzzy logic II

Cited in

(6)

• Note on witnessed Gödel logics with Delta
• First-order nilpotent minimum logics: first steps
• On witnessed models in fuzzy logic
• On witnessed models in fuzzy logic II
• A family of Gödel hybrid logics
• Strict core fuzzy logics and quasi-witnessed models

This page was built for publication: On witnessed models in fuzzy logic. III: Witnessed Gödel logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552393)