By Topic

Some Types of Filters in Hoops

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Kondo, M. ; Sch. of Inf. Environ., Tokyo Denki Univ., Inzai, Japan

Abstract-In this paper we consider fundamental properties of some types of filters (implicative, positive implicative and fantastic filters) of hoops and prove that for any hoop A and filter F of A, (a) F is an implicative filter if and only if A/F is a relatively pseudo-complemented semilattice, that is, Brouwerian semilattice; (b) F is a positive implicative filter if and only if A/F is a {Λ, V, →, 1}reduct of Heyting algebra; (c) F is a fantastic filter if and only if A/F is a Wajsberg hoop. Moreover we show that, for any filter of a hoop, it is a positive implicative filter if and only if it is an implicative and fantastic filter.

Published in:

Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on

Date of Conference:

23-25 May 2011