A note on the first‐order logic of complete BL‐chains

DOI10.1002/malq.200710058zbMath1152.03019OpenAlexW2075766128MaRDI QIDQ3520231

Petr Hájek, Franco Montagna

Publication date: 15 August 2008

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710058

zbMATH Keywords

standard semanticsfirst-order fuzzy logicscomplete BL-chains

Mathematics Subject Classification ID

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

Related Items (max. 100)

Franco Montagna's work on provability logic and many-valued logic ⋮ On annihilators in BL-algebras ⋮ EBL-algebras ⋮ PURE IDEALS AND STABLE TOPOLOGY IN BL-ALGEBRAS ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Introduction ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ (φ,ψ)-derivations of BL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Basic fuzzy logic and BL-algebras. II
• Kripke‐style semantics for many‐valued logics
• Fuzzy logic and arithmetical hierarchy. III
• Three complexity problems in quantified fuzzy logic

This page was built for publication: A note on the first‐order logic of complete BL‐chains