On the predicate logics of continuous t-norm BL-algebras

DOI10.1007/s00153-004-0231-5zbMath1070.03013OpenAlexW2043389664MaRDI QIDQ1765100

Franco Montagna

Publication date: 22 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0231-5

zbMATH Keywords

complexityarithmetical hierarchyBL-algebrasrecursively axiomatizablepredicate many-valued logicst-norm semantics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35) Complexity of computation (including implicit computational complexity) (03D15) Other algebras related to logic (03G25)

Related Items (13)

A new interpretation of complex membership grade ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ Mathematical Fuzzy Logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ Formal systems of fuzzy logic and their fragments ⋮ On arithmetical complexity of fragments of prominent fuzzy predicate logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey

Cites Work

• Unnamed Item
• Certain logical reduction and decision problems
• On the structure of semi-groups on a compact manifold with boundary
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Monadic fuzzy predicate logics
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• Basic hoops: an algebraic study of continuous t-norms
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• Algebraic Analysis of Many Valued Logics
• Hoops and Fuzzy Logic
• Fuzzy logic and arithmetical hierarchy. III
• Three complexity problems in quantified fuzzy logic

This page was built for publication: On the predicate logics of continuous t-norm BL-algebras