Alternative proof of standard completeness theorem for MTL
type: Item
instance of: scholarly article
title: Alternative proof of standard completeness theorem for MTL
zbMATH Open document ID: 1108.03029
published in: Soft Computing
publication date: 2007-01-04T00:00:00Z
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 5081686
zbMATH Keywords: Monoidal t-norm based logic
zbMATH Keywords: Left-continuous t-norm
zbMATH Keywords: Fuzzy logic
author: Rostislav Horčík
MaRDI profile type: Publication
full work available at URL: s00500-006-0058-6
OpenAlex ID: W2013999314
cites work: The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
cites work: Q5509706
cites work: Standard completeness theorem for \(\Pi\)MTL
cites work: Q4256417
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Triangular norms
DOI: 10.1007/S00500-006-0058-6
description: scientific article; zbMATH DE number 5081686