Supersound many-valued logics and Dedekind-MacNeille completions
From MaRDI portal
Publication:1042436
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
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
