Observations on the monoidal t-norm logic
type: Item
instance of: scholarly article
title: Observations on the monoidal t-norm logic
zbMATH Open document ID: 1012.03035
DOI: 10.1016/S0165-0114(02)00057-X
author: Petr Hájek
published in: Fuzzy Sets and Systems
publication date: 2003-04-02T00:00:00Z
review text: The paper is concerned with the properties of some nonclassical logics and their relations, especially to Łukasiewicz logic, Gödel logic, and the monoidal t-norm-based logic. Their relations become stronger if some axioms (the double negation axiom, the idempotence axiom of conjunction and two further specific axioms) are added to them. The main results deal mainly with the monoidal t-norm-based logic and its Archimedian property.
reviewed by: Milan Mareš
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 1891669
zbMATH Keywords: nonclassical logics
zbMATH Keywords: fuzzy logic
zbMATH Keywords: monoidal t-norm logic
zbMATH Keywords: product logic
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: Gödel logic
zbMATH Keywords: Archimedian property
MaRDI profile type: Publication
cites work: On a class of left-continuous \(\text t\)-norms
cites work: About axiomatic systems of product fuzzy logic
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: Pseudo-t-norms and pseudo-BL algebras
cites work: Contrapositive symmetry of fuzzy implications
cites work: Q5509706
cites work: A new axiomatization for involutive monoidal t-norm-based logic
cites work: Metamathematics of fuzzy logic
cites work: On Archimedean triangular norms
cites work: New family of triangular norms via contrapositive symmetrization of residuated implications
cites work: Q4440524
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Triangular norms
full work available at URL: s0165-0114(02)00057-x
OpenAlex ID: W2052913890
description: scientific article; zbMATH DE number 1891669