Skip Navigation

Journal of Logic and Computation 2003 13(4):532-555; doi:10.1093/logcom/13.4.532
© 2003 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Esteva, F.
Right arrow Articles by Montagna, F.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Original Article

Hoops and Fuzzy Logic

Francesc Esteva1, Lluís Godo1, Petr Hájek2 and Franco Montagna3

1 Institut d' Investigació en Intelligència Artificial - CSIC, Campus Univ. Autònoma de Barcelona s/n, 08193 Bellaterra, Spain. E-mail: esteva{at}iiia.csic.es, godo{at}iiia.csic.es 2 Institute of Computer Science, Academy of Sciences, 182 07 Prague, Czech Republic. E-mail: hajek{at}cs.cas.cz 3 Dipartamento de Matematica, Università degli Studi di Siena, Via del Capitano 15, 53100 Siena, Italy. E-mail: montagna{at}unisi.it

In this paper we investigate the falsehood-free fragments of main residuated fuzzy logics related to continuous t-norms (Há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 ({forall}3) in these predicate logics is studied. Finally, computational complexity issues of the propositional logics are also addressed.

Keywords: Mathematical fuzzy logics, BL-algebras, falsehood-free fragments, hoops, conservativeness.

Received 21 January 2002.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?


This article has been cited by other articles:


Home page
 J Logic ComputationHome page
S. Aguzzoli, M. Busaniche, and V. Marra
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
J Logic Computation, August 1, 2007; 17(4): 749 - 765.
[Abstract] [Full Text] [PDF]


Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.