>
Fa   |   Ar   |   En
   hh∗−intuitionistic heyting valued ω-algebra and homomorphism  
   
نویسنده tarsuslu(yilmaz) sinem ,cuvalcoglu gokhan
منبع journal of hyperstructures - 2017 - دوره : 6 - شماره : Spec. 13th - صفحه:72 -82
چکیده    Intuitionistic logic was introduced by l. e. j. brouwer in and heyting algebra was defined by a. heyting to formalize the brouwer rsquo;s intuitionistic logic. the concept of heyting algebra has been accepted as the basis for intuitionistic propositional logic. heyting algebras have had applications in different areas. the coheyting algebra is the same lattice with dual operation of heyting algebra[5]. also, co-heyting algebras have several applications in different areas. in this paper, we introduced the new concept hh lowast; minus; intuitionistic heyting valued ω-algebra. the purpose of introducing this new concept is to expand the field of researchers rsquo; area using both membership degree and non-membership degree. this allows us to get more sensitive results.the hh lowast; minus; intuitionistic heyting valued set, hh lowast; minus; intuitionistic heyting valued relation, hh lowast; minus; intuitionistic heyting valued ω-algebra and the homomorphism over hh lowast; minus; intuitionistic heyting valued ω-algebra were defined.
کلیدواژه heyting valued algebra ,co-heyting valued algebra ,omega algebra ,intuitionistic logic
آدرس university of mersin, iftlikky campus, department of mathematics, turkey, university of mersin, iftlikky campus, department of mathematics, turkey
پست الکترونیکی gcuvalcioglu@gmail.com
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved