با سلام,
این اواخرروی MV-جبرها کارمیکنم,وقصددارم state MV-algebras کارکنم.اگه شما هم چیزی دراین زمینه میدونید خوشحال میشم درادامه بنویسید..
من اینجاهمزمان با خوندن مطالبی راجع به این موضوع خلاصه ای ازاونها رومینویسم:
همونطور که میدونید وقتی میگیم جبر,یعنی یک مجموعه (2,1,0) هست به صورت:
(M,+,',0)
که دارای خواص زیر هست:
x' '=x
x+1=1 where 1=0'
x+(x+y')'=y+(y+x')'
j
دراین جبریک سری عمل دیگرهم تعریف میشود.کهدرتایپک بعدی میارم:11:
