English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/160601
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Hoops and fuzzy logic

AuthorsEsteva, Francesc ; Godo, Lluis ; Hajek, Petr; Montagna, Franco
KeywordsMathematical fuzzy logics
Falsehood-free fragments
Issue Date2003
PublisherOxford University Press
CitationJournal of Logic and Computation 13: 531- 555 (2003)
AbstractIn this paper we investigate the falsehood-free fragments of main residuated fuzzy logics related to continuous t-norms (HaÌ?jek's Basic fuzzy logic BL and some well-known axiomatic extensions), and we relate them to the varieties of 0-free subreducts of the corresponding algebras. These turn out to be classes of algebraic structures known as hoops. We provide axiomatizations of all these fragments and we call them hoop logics; we prove they are strongly complete with respect to their corresponding classes of hoops, and that each fuzzy logic is a conservative extension of the corresponding hoop logic. Analogously, we also study the falsehood-free fragment of a weaker logic than BL, called MTL, which is the logic of left-continuous t-norms and their residua, and we introduce the related algebraic structures which are called semihoops. Moreover, we also consider the falsehood-free fragments of the fuzzy predicate calculi of the above logics and show completeness and conservativeness results. The role of axiom (∀3) in these predicate logics is studied. Finally, computational complexity issues of the prepositional logics are also addressed.
Identifiersissn: 0955-792X
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.