نتایج جستجو برای: positive implicative

تعداد نتایج: 658088  

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

2008
A. Kordi A. Moussavi A. MOUSSAVI

The fuzzy p-ideals, fuzzy H-ideals and fuzzy BCI-positive implicative ideals of BCI-algebras are studied, and related properties are investigated. We also give some characterizations of these ideals. Mathematics Subject Classifications (2000). 03G25, 06F35, 06B99

Journal: :Journal of Mathematics 2021

This study focuses on combining the theories of m -polar fuzzy sets over id="M2"> BCK -algebras and establishing a new framework id="M3"> id="M4"> -algebras. In this paper, we define idea id="M5"> positive implicative ideals in id="M6"> investigate some related properties. Then, introduce concepts id="M7">...

2016
DANIEL A. ROMANO

The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...

2004
Young Bae Jun Seok Zun Song

We discuss the n-fold implicative/fantastic filters in lattice implication algebras, which are extended notions of implicative/fantastic filters. Characterizations of n-fold implicative/fantastic filters are given. Conditions for a filter to be n-fold implicative are provided. Extension property for an n-fold fantastic filter is established.

Journal: :Math. Log. Q. 2004
Félix Bou Josep Maria Font José Luis García-Lapresta

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...

The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

Journal: :Momona Ethiopian Journal of Science 2012

Journal: :journal of mahani mathematical research center 0
l. torkzadeh islamic azad university kerman h. hojat islamic azad university kerman

in this paper rst we de ne the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.

2016
Ellie Pavlick Chris Callison-Burch

Implicative verbs (e.g. manage) entail their complement clauses, while non-implicative verbs (e.g. want) do not. For example, while managing to solve the problem entails solving the problem, no such inference follows from wanting to solve the problem. Differentiating between implicative and non-implicative verbs is therefore an essential component of natural language understanding, relevant to ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید