scientific article; zbMATH DE number 1342226
From MaRDI portal
Publication:4263811
zbMath0933.03022MaRDI QIDQ4263811
Publication date: 29 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationcontinuous t-normsapproximation of fuzzy logics by finite-valued logicsarithmetic fuzzy logicarithmetic truth functionsfirst-order logic over fuzzy algebrastriangular logics
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Quantifier elimination, model completeness, and related topics (03C10) Fuzzy lattices (soft algebras) and related topics (06D72)
Related Items (4)
Łukasiewicz Games ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices
This page was built for publication:
