scientific article; zbMATH DE number 1293548

MaRDI QIDQ4244877zbMATH OpenFDO

Authors Petr Hájek, Lluís Godo

Publication date 31 May 1999

zbMATH Keywords

surveymany-valued logicfuzzy logicresiduated lattices

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 956587
• A first-order logic system for fuzzy predicate calculus based on FI-algebras
• scientific article; zbMATH DE number 4152343
• Metamathematics of fuzzy logic
• Deductive systems of fuzzy logic

Cited in

(12)

• On the difference between traditional and deductive fuzzy logic
• scientific article; zbMATH DE number 1076496 (Why is no real title available?)
• On redundancies in systems of fuzzy/linguistic IF-THEN rules under perception-based logical deduction inference
• On fuzzy modal logics \(S5(\mathcal C)\)
• scientific article; zbMATH DE number 4152343 (Why is no real title available?)
• Fuzzy natural deduction
• Deductive systems of fuzzy logic
• Fuzzy logics from substructural perspective
• Proof theory for fuzzy logics
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• A first-order logic system for fuzzy predicate calculus based on FI-algebras
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

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 Q4244877)