Interpolation in fuzzy logic

DOI10.1007/s001530050151zbMath0936.03026OpenAlexW2060794945MaRDI QIDQ1818593

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

interpolationFibonacci sequencescontinuous t-normsfinite-valued logicsmany-valued propositional logicsminimal interpolating extensions

Mathematics Subject Classification ID

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

Related Items (18)

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ On normal forms in Łukasiewicz logic ⋮ Normal forms and free algebras for some extensions of MTL ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Mathematical Fuzzy Logics ⋮ First-order interpolation derived from propositional interpolation ⋮ Conservative expansions of substructural logics ⋮ A Calculus for Rational Łukasiewicz Logic and Related Systems ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Monotone operators on Gödel logic ⋮ An analysis of Ruspini partitions in Gödel logic ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Complexity of t-tautologies ⋮ Interpolation in non-classical logics ⋮ Craig interpolation for semilinear substructural logics ⋮ From semantic games to provability: the case of Gödel logic

This page was built for publication: Interpolation in fuzzy logic