scientific article; zbMATH DE number 1790413

MaRDI QIDQ4549478zbMATH OpenFDO

Authors Vilém Novák, Irina Perfilieva

Publication date 6 March 2003

zbMATH Keywords

fuzzy logicHerbrand theoremmany-valued logicMcNaughton theoremprovabilitytruth degreeŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Recommendations

• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Open theories, consistency and related results in fuzzy logic
• scientific article; zbMATH DE number 1053091
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic

Cited in

(8)

• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• Formal theories and linguistic descriptions.
• Fuzzy logics from substructural perspective
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• A constructive proof of McNaughton's theorem in infinite-valued logic
• scientific article; zbMATH DE number 1053091 (Why is no real title available?)
• scientific article; zbMATH DE number 6027037 (Why is no real title available?)
• Logical structure of fuzzy IF-THEN rules

This page was built for publication:

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