A true unprovable formula of fuzzy predicate logic

DOI10.1007/978-3-540-25967-1_1MaRDI QIDQ5712365zbMATH OpenOpenAlexFDO

Authors Petr Hájek

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98383

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Fuzzy constructive logic
• Provable degree of formulas on theories in the propositional fuzzy logic system Göd
• Three complexity problems in quantified fuzzy logic
• Embedding logics into product logic
• Extended fuzzy constructive logic

Cited in

(4)

• scientific article; zbMATH DE number 3891324 (Why is no real title available?)
• On Fuzzy Theories with Crisp Sentences
• Truth-Preservation under Fuzzy pp-Formulas
• An intrinsic fuzzy set on the universe of discourse of predicate formulas

This page was built for publication: A true unprovable formula of fuzzy predicate logic

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