Supersound many-valued logics and Dedekind-MacNeille completions
type: Item
instance of: scholarly article
title: Supersound many-valued logics and Dedekind-MacNeille completions
zbMATH Open document ID: 1185.03040
author: Matteo Bianchi
author: Franco Montagna
published in: Archive for Mathematical Logic
publication date: 2009-12-14T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 06B23
zbMATH DE Number: 5646248
zbMATH Keywords: Gödel logic
zbMATH Keywords: many-valued logic
zbMATH Keywords: completion of MTL-chains
zbMATH Keywords: axiomatic extension
Wikidata QID: Q59321750
MaRDI profile type: Publication
full work available at URL: s00153-009-0145-3
OpenAlex ID: W2019833745
cites work: Varieties of BL-algebras. I: General properties.
cites work: Algebraic Analysis of Many Valued Logics
cites work: Q4512929
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: A propositional calculus with denumerable matrix
cites work: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: A complete many-valued logic with product-conjunction
cites work: Residuated fuzzy logics with an involutive negation
cites work: Observations on the monoidal t-norm logic
cites work: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
cites work: A note on the notion of truth in fuzzy logic
cites work: On Weakly Cancellative Fuzzy Logics
cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
cites work: Kripke‐style semantics for many‐valued logics
cites work: Preservation theorems for MTL-chains
cites work: A fuzzy logic for the revised drastic product t-norm.
DBLP publication ID: journals/aml/BianchiM09
DOI: 10.1007/S00153-009-0145-3
description: scientific article; zbMATH DE number 5646248