On witnessed models in fuzzy logic III - witnessed Gödel logics

DOI10.1002/malq.200810047zbMath1191.03019OpenAlexW2065260235MaRDI QIDQ3552393

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

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

Related Items (1)

First-order nilpotent minimum logics: first steps

Cites Work

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

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