Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities

DOI10.1007/s10469-016-9394-5zbMath1402.03034OpenAlexW2524876172MaRDI QIDQ2364329

Aleksandr Sergeevich Gerasimov

Publication date: 18 July 2017

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-016-9394-5

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Proof theory in general (including proof-theoretic semantics) (03F03)