scientific article; zbMATH DE number 1790413

zbMATH Open1006.03026MaRDI QIDQ4549478FDOQ4549478

Authors: Vilém Novák, Irina Perfilieva 

Publication date: 6 March 2003

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

many-valued logicfuzzy logictruth degreeprovabilityHerbrand theoremMcNaughton theoremŁukasiewicz logic

Mathematics Subject Classification ID

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

Cited In (8)

• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Formal theories and linguistic descriptions.
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Title not available (Why is that?)
• Fuzzy logics from substructural perspective
• Logical structure of fuzzy IF-THEN rules
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• Title not available (Why is that?)

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)