Trakhtenbrot theorem and first-order axiomatic extensions of MTL

DOI10.1007/s11225-015-9614-3zbMath1330.03061arXiv1403.0812OpenAlexW1535630413WikidataQ59321711 ScholiaQ59321711MaRDI QIDQ897476

Matteo Bianchi, Franco Montagna

Publication date: 7 December 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.0812

zbMATH Keywords

completenessmany-valued logicsarithmetical complexityresiduated latticesMTL logicTrakhtenbrot theorem

Mathematics Subject Classification ID

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

Related Items

Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Lindström theorems in graded model theory

Cites Work

• Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Triangular norm based predicate fuzzy logics
• First-order Gödel logics
• First-order nilpotent minimum logics: first steps
• On witnessed models in fuzzy logic
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• Algebraizable logics
• Sentences true in all constructive models
• Hoops and Fuzzy Logic
• Impossibility of an algorithm for the decision problem in finite classes
• The classical decision problem.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item