A new axiomatization for involutive monoidal t-norm-based logic

Authors
Gottwald, S Jenei, S
Citation
S. Gottwald et S. Jenei, A new axiomatization for involutive monoidal t-norm-based logic, FUZ SET SYS, 124(3), 2001, pp. 303-307
Citations number
9
Categorie Soggetti
Engineering Mathematics
Journal title
FUZZY SETS AND SYSTEMS
ISSN journal
01650114 → ACNP
Volume
124
Issue
3
Year of publication
2001
Pages
303 - 307
Database
ISI
SICI code
0165-0114(200112)124:3<303:ANAFIM>2.0.ZU;2-#
Abstract
On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the involu tive monoidal t-norm-based residuated logic. (C) 2001 Elsevier Science B.V. All rights reserved.