DSpace DSpace UPC
 English   Castellano   Català  

Revistes i Congressos UPC >
Revistes >
Mathware & soft computing >
1999, Vol. VI, Núm. 2-3 >

Quan citeu aquest document, utilitzeu la següent adreça: http://hdl.handle.net/2099/3555

Arxiu Descripció MidaFormat
godo.pdf382,4 kBAdobe PDFVeure/Obrir

Títol: Putting together Łukasiewicz and product logics
Autor: Esteva Massaguer, Francesc Veure Producció científica UPC; Godo Lacasa, Lluís
Editorial: Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Tipus de document: Article
Resum: In this paper we investigate a propositional fuzzy logical system $\L\Pi$ which contains the well-known \L ukasiewicz, Product and G\"{o}del fuzzy logics as sublogics. We define the corresponding algebraic structures, called $\L\Pi$-algebras and prove the following completeness result: a formula $\varphi$ is provable in the $\L\Pi$ logic iff it is a tautology for all linear $\L\Pi$-algebras. Moreover, linear $\L\Pi$-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law.
ISSN: 1134-5632
URI: http://hdl.handle.net/2099/3555
Apareix a les col·leccions:1999, Vol. VI, Núm. 2-3
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius