Interpolation in fuzzy logic

DOI10.1007/S001530050151MaRDI QIDQ1818593zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Helmut Veith

Publication date 4 January 2000

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

interpolationcontinuous t-normsFibonacci sequencesfinite-valued logicsmany-valued propositional logicsminimal interpolating extensions

Mathematics Subject Classification ID

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

Recommendations

• Interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation representations of fuzzy logic systems
• Leibniz interpolation properties
• scientific article; zbMATH DE number 4061207

Cited in

(35)

• From semantic games to provability: the case of Gödel logic
• A Calculus for Rational Łukasiewicz Logic and Related Systems
• Interpolation in non-classical logics
• Normal forms for fuzzy logics: a proof-theoretic approach
• scientific article; zbMATH DE number 1013870 (Why is no real title available?)
• Interpolation of fuzzy data: analytical approach and overview
• Interpolative fuzzy algorithms
• Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach
• Truth-value transmittal fuzzy reasoning interpolator
• PROPOSAL OF AN INTERPOLATIVE FUZZY INFERENCE METHOD
• On normal forms in Łukasiewicz logic
• A fuzzy Lagrange interpolation theorem
• Fuzzy linguistic model for interpolation
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Closed form fuzzy interpolation
• An analysis of Ruspini partitions in Gödel logic
• scientific article; zbMATH DE number 5059585 (Why is no real title available?)
• Complexity of t-tautologies
• Interpolation of fuzzy data
• Universal proof theory: semi-analytic rules and Craig interpolation
• MV-algebras: An approach to fixed points in Łukasiewicz logic
• Monotone operators on Gödel logic
• Normal forms and free algebras for some extensions of MTL
• Conservative expansions of substructural logics
• Interpolation theorem in many-valued logics with designated values
• Linear interpolation in a fuzzy information space
• Interpolative Boolean Logic
• Interpolation and three-valued logics
• Techniques for interpolation reasoning based on intuitional fuzzy logic
• First-order interpolation derived from propositional interpolation
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Rough-fuzzy rule interpolation
• Mathematical Fuzzy Logics
• Craig interpolation for semilinear substructural logics

This page was built for publication: Interpolation in fuzzy logic

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