جستجوی مقالات مرتبط با کلیدواژه
تکرار جستجوی کلیدواژه implicative-boolean algebra در نشریات گروه علوم پایه
implicative-boolean algebra
در نشریات گروه ریاضی
تکرار جستجوی کلیدواژه implicative-boolean algebra در مقالات مجلات علمی
-
We define various types of states on implicative involutive BE-algebras (Jauch-Piron state, (P)-state, (B)-state, subadditive state, valuation), and we investigate the relationships between these states. Moreover, we introduce the unital, full, and rich sets of states, and we prove certain properties involving these notions. In the case when an implicative involutive BE- algebra possesses a rich or a full set of states, we prove that it is an implicative-orthomodular lattice. If an implicative involutive BE-algebra possesses a rich set of (P)-states or a full set of valuations, then it is an implicative-Boolean algebra. Additionally, based on their deductive systems, we give characterizations of implicative-orthomodular lattices and implicative-Boolean algebras.Keywords: Implicative Involutive Bealgebra, Implicative Orthomodular Lattice, Implicative-Boolean Algebra, State, Valuation, Deductive System
نکته
- نتایج بر اساس تاریخ انتشار مرتب شدهاند.
- کلیدواژه مورد نظر شما تنها در فیلد کلیدواژگان مقالات جستجو شدهاست. به منظور حذف نتایج غیر مرتبط، جستجو تنها در مقالات مجلاتی انجام شده که با مجله ماخذ هم موضوع هستند.
- در صورتی که میخواهید جستجو را در همه موضوعات و با شرایط دیگر تکرار کنید به صفحه جستجوی پیشرفته مجلات مراجعه کنید.