Other language title :
ﯾﮏ روﯾﮑﺮد ﻧﻈﺮي -ﻣﺸﺒﮑﻪ ﺑﺮاي ﺑﺴﻂ ﻓﯿﻠﺘﺮﻫﺎ در ﺟﺒﺮﻫﺎﯾﯽ از زﯾﺮﺳﺎﺧﺘﺎرﻫﺎي ﻣﻨﻄﻘﯽ
Title of article :
A lattice-theoretical approach to extensions of filters in algebras of substructural logic
Author/Authors :
Salounova, D Department of Mathematical Methods in economy, Faculty of Economics VSB-Technical University Ostrava, Czech Republic , Rachunek, J Department of Algebra and Geometry - Faculty of Sciences - Palacky University, Czech Republic
Abstract :
Commutative bounded integral residuated lattices (residutaed lattices, in short) form a large class of algebras containing algebras which are algebraic counterparts of certain propositional fuzzy logics. The paper deals with the so-called extended filters of filters of residuated lattices. It is used the fact that the extended filters of filters associated with subsets coincide with those associated ones with corresponding filters. This makes it possible to investigate the set of all extended filters of residuated lattices within the Heyting algebras of their filters by means of the structural methods of the theory of such algebras.
Farsi abstract :
ﭼﮑﯿﺪه . ﻣﺸﺒﮑﻪﻫﺎي ﺑﺎﻗﯽﻣﺎﻧﺪه ﺻﺤﯿﺢ ﮐﺮاﻧﺪار ﺟﺎﺑﻪﺟﺎﯾﯽ )ﺑﻪ ﻃﻮر ﺧﻼﺻﻪ، ﻣﺸﺒﮑﻪﻫﺎي ﺑﺎﻗ ﯽﻣﺎﻧﺪه( ﮐﻼس ﺑﺰرﮔ ﯽ از ﺟﺒﺮﻫﺎﯾﯽ را ﺗﺸﮑﯿﻞ ﻣﯽ دﻫﻨﺪ ﮐﻪ ﺷﺎﻣﻞ ﺟﺒﺮﻫﺎي ﻣﺘﻨﺎﻇﺮ ﺑﺎ ﺑﺮﺧﯽ از ﻣﻨﻄﻖﻫﺎي ﻓﺎزي ﮔﺰارهاي ﺧﺎص ﻫﺴﺘﻨﺪ. اﯾﻦ ﻣﻘﺎﻟﻪ ﺑﻪ ﺑﺮرﺳﯽ ﻓﯿﻠﺘﺮﻫﺎي ﮔﺴﺘﺮده ﺷﺪه از ﻓﯿﻠﺘﺮﻫﺎي ﻣﺸﺒﮑﻪﻫﺎي ﺑﺎﻗﯽﻣﺎﻧﺪه ﻣﯽﭘﺮدازد. از اﯾﻦ واﻗﻌﯿﺖ اﺳﺘﻔﺎده ﻣﯽﺷﻮد ﮐﻪ ﻓﯿﻠﺘﺮﻫﺎي ﺗﻮﺳﻌﻪ ﯾﺎﻓﺘﻪ از ﻓﯿﻠﺘﺮﻫﺎي ﻣﺮﺗﺒﻂ ﺑﺎ زﯾﺮﻣﺠﻤﻮﻋﻪﻫﺎ، ﺑﺎ ﻓﯿﻠﺘﺮﻫﺎي ﺗﻮﺳﻌﻪ ﯾﺎﻓﺘﻪ ﻣﺮﺗﺒﻂ ﺑﺎ ﻓﯿﻠﺘﺮﻫ ﺎ ﻣﻄﺎﺑﻘﺖ دارد. اﯾﻦ اﻣﺮ اﻣﮑﺎن ﺑﺮرﺳ ﯽ ﻣﺠﻤﻮﻋﻪي ﻫﻤﻪ ﻓﯿﻠﺘﺮﻫﺎي ﺗﻮﺳﻌﻪ ﯾﺎﻓﺘﻪ از ﻣﺸﺒﮑﻪﻫﺎي ﺑﺎﻗﯽﻣﺎﻧﺪه در ﻫﯿﺘﯿ ﻨﮓ ﺟﺒﺮﻫﺎﯾﯽ از ﻓﯿﻠﺘﺮﻫﺎي آنﻫﺎ را ﺑﺎ اﺳﺘﻔﺎده از روش ﻫﺎي ﺳﺎﺧﺘﺎري ﻧﻈﺮﯾﻪ ﭼﻨﯿﻦ ﺟﺒﺮﻫﺎﯾﯽ اﻣﮑﺎنﭘﺬ ﯾﺮ ﻣﯽﺳﺎزد
Keywords :
Residuated lattice , Heyting algebra , relative Stone algebra
Journal title :
Journal of Algebraic Hyperstructures and Logical Algebras