scientific article; zbMATH DE number 1342205

MaRDI QIDQ4263789zbMATH OpenFDO

Authors Petr Hájek

Publication date 27 August 2000

zbMATH Keywords

finite modelsfuzzy logicmany-valued logicsTrakhtenbrot theorem

Mathematics Subject Classification ID

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

Recommendations

• Birkhoff variety theorem and fuzzy logic
• scientific article; zbMATH DE number 1265032
• Fuzzy logic and truth functionality and structural functionality principles
• scientific article; zbMATH DE number 5943725
• scientific article; zbMATH DE number 764344
• scientific article; zbMATH DE number 1053091
• Fuzzy sets and geometric logic
• Fuzzy Boolean algebras and Łukasiewicz logic
• Fuzzy logics and fuzzy model theory
• The fuzzy Brouwer fixed-point theorem

Cited in

(6)

• Birkhoff variety theorem and fuzzy logic
• Proof theory for finitely valid sentences
• scientific article; zbMATH DE number 764344 (Why is no real title available?)
• Boris (Boaz) Trakhtenbrot (1921--2016)
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL

This page was built for publication:

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