Supersound many-valued logics and Dedekind-MacNeille completions

DOI10.1007/s00153-009-0145-3zbMath1185.03040DBLPjournals/aml/BianchiM09OpenAlexW2019833745WikidataQ59321750 ScholiaQ59321750MaRDI QIDQ1042436

Matteo Bianchi, Franco Montagna

Publication date: 14 December 2009

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

Full work available at URL: https://doi.org/10.1007/s00153-009-0145-3

zbMATH Keywords

many-valued logicGödel logicaxiomatic extensioncompletion of MTL-chains

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Many-valued logic (03B50)

Related Items (4)

The variety generated by all the ordinal sums of perfect MV-chains ⋮ Obituary: Franco Montagna (1948--2015) ⋮ \(n\)-contractive BL-logics ⋮ On linear varieties of MTL-algebras

Cites Work

• Unnamed Item
• A fuzzy logic for the revised drastic product t-norm.
• 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
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Varieties of BL-algebras. I: General properties.
• Observations on the monoidal t-norm logic
• A complete many-valued logic with product-conjunction
• Residuated fuzzy logics with an involutive negation
• Preservation theorems for MTL-chains
• Algebraic Analysis of Many Valued Logics
• A propositional calculus with denumerable matrix
• On Weakly Cancellative Fuzzy Logics
• Kripke‐style semantics for many‐valued logics
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• A note on the notion of truth in fuzzy logic

This page was built for publication: Supersound many-valued logics and Dedekind-MacNeille completions