Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL

DOI10.1007/S11225-015-9633-0MaRDI QIDQ897477zbMATH OpenOpenAlexWikidataFDO

Authors Matteo Bianchi, Franco Montagna

Publication date 7 December 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-015-9633-0

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• Erratum to: ``Localizing the axioms
• scientific article; zbMATH DE number 4143943
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• scientific article; zbMATH DE number 4130378
• Erratum: ``Semisimple extensions and elements of trace 1
• Erratum: ``About Catalan-Mihailescu theorem
• scientific article; zbMATH DE number 695552
• Erratum: ``Extension of congruences on semirings of continuous functions

This page was built for publication: Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL

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