48 results on '"Borumand Saeid, A."'
Search Results
2. Models for <scp>MAGDM</scp> with dual hesitant q ‐rung orthopair fuzzy 2‐tuple linguistic <scp>MSM</scp> operators and their application to <scp>COVID</scp> ‐19 pandemic
- Author
-
Sumera Naz, Muhammad Akram, Arsham Borumand Saeid, and Aniqa Saadat
- Subjects
Computational Theory and Mathematics ,Artificial Intelligence ,Control and Systems Engineering ,Theoretical Computer Science - Published
- 2022
3. Competition graphs with complex intuitionistic fuzzy information
- Author
-
Aqsa Sattar, Muhammad Akram, and Arsham Borumand Saeid
- Subjects
0209 industrial biotechnology ,Theoretical computer science ,Computer science ,Intuitionistic fuzzy ,Computational intelligence ,02 engineering and technology ,Computer Science Applications ,Set (abstract data type) ,Competition (economics) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,020901 industrial engineering & automation ,Artificial Intelligence ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Information Systems - Abstract
A complex intuitionistic fuzzy set (CIFS) has an ability to represent the problems with intuitionistic uncertainty and periodicity, simultaneously. In this paper, we present a new framework for handling complex intuitionistic fuzzy information by combining the CIFSs with competition graphs. We first introduce the concept of complex intuitionistic fuzzy competition graphs along with its two worthwhile extensions, namely, complex intuitionistic fuzzy k-competition and complex intuitionistic fuzzy p-competition graphs. Further, we present complex intuitionistic fuzzy neighborhood graphs and m-step complex intuitionistic fuzzy competition graphs with some of their remarkable results. We also describe an application of complex intuitionistic fuzzy competition graphs along with an algorithm which finds the competition among the applicants competing for the particular jobs possessing the two-dimensional information. Moreover, we provide a comparison analysis of proposed competition graphs with existing graphs to find the validity and superiority of proposed competition graphs.
- Published
- 2021
4. Wajsberg algebras of order $$n (n\le 9)$$
- Author
-
Cristina Flaut, Šárka Hošková-Mayerová, Radu Vasile, and Arsham Borumand Saeid
- Subjects
0209 industrial biotechnology ,Pure mathematics ,Representation theorem ,02 engineering and technology ,Coding theory ,Special class ,020901 industrial engineering & automation ,Artificial Intelligence ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,0202 electrical engineering, electronic engineering, information engineering ,Computational Science and Engineering ,Order (group theory) ,020201 artificial intelligence & image processing ,Software ,Mathematics - Abstract
Knowing the applications of logical algebras in various fields, such as artificial intelligence or coding theory, in this paper, we study some properties of a special class of such algebras, namely finite Wajsberg algebras. For this purpose, we give a representation theorem for finite Wajsberg algebras and give a formula for the number of non-isomorphic Wajsberg algebras of order n; also we give the total number of finite Wajsberg algebras of order n. Since a big value of n involves a lot of computations, as examples, we present and describe all finite Wajsberg algebras of order $$n\le 9$$ .
- Published
- 2019
5. Co-annihilators and fuzzy co-annihilators in EQ-algebras
- Author
-
Xiaoli He, Xiaoyun Cheng, Arsham Borumand Saeid, and Xiaolong Xin
- Subjects
Statistics and Probability ,Pure mathematics ,Artificial Intelligence ,General Engineering ,Fuzzy logic ,Mathematics - Published
- 2019
6. Solutions to Open Problems on Fuzzy Filters of -algebras
- Author
-
Wang Wei and Arsham Borumand Saeid
- Subjects
Non-classical logics ,Artificial intelligence ,-algebras ,Fuzzy filter ,Fuzzy fantastic filter ,Fuzzy normal filter ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
This paper focuses on the investigation of fuzzy filters of -algebras, an important and popular generic logical algebra. By studying the equivalent conditions of fuzzy fantastic filter and fuzzy normal filter of -algebras, the relation between these two filters are revealed. Two open problems of -algebras, i.e.,”Under what suitable condition a normal filter becomes a fantastic filter? ” and ” Under what suitable condition extension property for normal filter holds? (Extension property for a normal filter)”, are solved accordingly.
- Published
- 2015
- Full Text
- View/download PDF
7. On Neutrosophic Refined EQ–Filters
- Author
-
Mohammad Hamidi, Florentin Smarandache, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Artificial Intelligence ,General Engineering - Published
- 2019
8. Certain Notions of Pythagorean Fuzzy Graphs
- Author
-
Farwa Ilyas, Muhammad Akram, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Discrete mathematics ,Artificial Intelligence ,Pythagorean theorem ,General Engineering ,Fuzzy graph ,Mathematics - Published
- 2019
9. A representation for radicals in pseudo BL-algebras
- Author
-
Arsham Borumand Saeid, Roohallah Daneshpayeh, and Saeed Mirvakili
- Subjects
Statistics and Probability ,Pure mathematics ,Artificial Intelligence ,General Engineering ,Representation (systemics) ,Bl algebras ,Mathematics - Published
- 2019
10. A Framework for Multi-Attribute Group Decision-Making Using Double Hierarchy Hesitant Fuzzy Linguistic Term Set
- Author
-
Raghunathan Krishankumar, L. S. Subrajaa, Samarjit Kar, K. S. Ravichandran, and Arsham Borumand Saeid
- Subjects
Hierarchy ,Computer science ,Generalization ,business.industry ,Context (language use) ,Computational intelligence ,02 engineering and technology ,Fuzzy logic ,Theoretical Computer Science ,Group decision-making ,Term (time) ,Set (abstract data type) ,Computational Theory and Mathematics ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Artificial intelligence ,business ,Software - Abstract
As a generalization to hesitant fuzzy linguistic term set (HFLTS), double hierarchy hesitant fuzzy linguistic term set (DHHFLTS) is presented which circumvents the weakness of HFLTS in representing complex linguistic terms. DHHFLTS has two linguistic hierarchies with the second hierarchy supplementing the primary which enables decision-makers (DMs) to represent complex linguistic terms better. Motivated by the power of DHHFLTS, in this paper, a new decision framework is presented under DHHFLTS context. Initially, a new aggregation operator called double hierarchy hesitant fuzzy hybrid aggregation (DHHFHA) operator is proposed for sensible aggregation of DMs’ preference information. Further, weights of attributes are calculated by extending statistical variance (SV) method under DHHFLTS context. Objects are prioritized by extending the popular WASPAS (weighted aggregated sum product assessment) method to DHHFLTS context. The applicability and usefulness of the proposed framework are realized by demonstrating a risk management technique (RMT) selection problem for a construction project. Finally, the superiority and weakness of the proposed framework are discussed by comparison with other methods.
- Published
- 2019
11. On local triangle algebras
- Author
-
Saeide Zahiri, Arsham Borumand Saeid, Esko Turunen, Tampere University, Computing Sciences, and Research group: Computer Science and Applied Logics
- Subjects
0209 industrial biotechnology ,Pure mathematics ,Logic ,Algebraic structure ,Association (object-oriented programming) ,02 engineering and technology ,Computer Science::Computational Geometry ,Interval valued ,Set (abstract data type) ,Subdirect product ,020901 industrial engineering & automation ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,111 Mathematics ,020201 artificial intelligence & image processing ,Algebra over a field ,Residuated lattice ,Quotient ,Mathematics - Abstract
In this paper, we have introduced the notion of local and semilocal triangle algebras and propose the theorems that characterize these algebraic structures. Additionally, we have established the new properties of these algebraic structures and discussed the relations between local triangle algebras and some interval valued residuated lattice (IVRL)-filters, such as n-fold IVRL-extended integral filters and IVRL-extended maximal filters. The obtained results proved that the MTL-triangle algebra is a subdirect product of local triangle algebras. Moreover, a correlation was observed between the set of the dense elements and local triangle algebras. Finally, semilocal triangle algebras were introduced and assessed in detail, and an association was observed between the semilocal triangle algebras and quotient triangle algebras. submittedVersion
- Published
- 2021
12. Fuzzy filters of Sheffer stroke Hilbert algebras
- Author
-
Arsham Borumand Saeid, Tugce Katican, and Tahsin Oner
- Subjects
Statistics and Probability ,0209 industrial biotechnology ,Mathematics::Combinatorics ,Mathematics::General Mathematics ,Quantitative Biology::Tissues and Organs ,General Engineering ,02 engineering and technology ,Computer Science::Computational Geometry ,Fuzzy logic ,(normal) fuzzy filter ,Algebra ,020901 industrial engineering & automation ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,Sheffer stroke ,020201 artificial intelligence & image processing ,(Sheffer stroke) Hilbert algebra ,Mathematics - Abstract
The aim of this study is to introduce fuzzy filters of Sheffer stroke Hilbert algebra. After defining fuzzy filters of Sheffer stroke Hilbert algebra, it is shown that a quotient structure of this algebra is described by its fuzzy filter. In addition to this, the level filter of a Sheffer stroke Hilbert algebra is determined by its fuzzy filter. Some fuzzy filters of a Sheffer stroke Hilbert algebra are defined by a homomorphism. Normal and maximal fuzzy filters of a Sheffer stroke Hilbert algebra and the relation between them are presented. By giving the Cartesian product of fuzzy filters of a Sheffer stroke Hilbert algebra, various properties are examined. © 2021 - IOS Press. All rights reserved., Ege Üniversitesi: 20772, The authors are thankful to the referees for a careful reading of the paper and for valuable comments and suggestions. This study is partially funded by Ege University Scientific Research Projects Directorate with the Project Number 20772.
- Published
- 2021
13. Complex Pythagorean Dombi fuzzy operators using aggregation operators and their <scp>decision‐making</scp>
- Author
-
Muhammad Akram, Arsham Borumand Saeid, and Ayesha Khan
- Subjects
0209 industrial biotechnology ,Selection (relational algebra) ,Computer science ,Pythagorean theorem ,Fuzzy operators ,02 engineering and technology ,Extension (predicate logic) ,Fuzzy logic ,Theoretical Computer Science ,Algebra ,020901 industrial engineering & automation ,Operator (computer programming) ,Computational Theory and Mathematics ,Dimension (vector space) ,Artificial Intelligence ,Control and Systems Engineering ,Pythagorean fuzzy sets ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing - Abstract
A complex Pythagorean fuzzy set, an extension of Pythagorean fuzzy set, is a powerful tool to handle two dimension phenomenon. Dombi operators with operational parameters have outstanding flexibility. This article presents certain aggregation operators under complex Pythagorean fuzzy environment, including complex Pythagorean Dombi fuzzy weighted arithmetic averaging (CPDFWAA) operator, complex Pythagorean Dombi fuzzy weighted geometric averaging (CPDFWGA) operator, complex Pythagorean Dombi fuzzy ordered weighted arithmetic averaging (CPDFOWAA) operator and complex Pythagorean Dombi fuzzy ordered weighted geometric averaging (CPDFOWGA) operator. Moreover, this paper explores some fundamental properties of these operators with appropriate elaboration. A decision‐making numerical example related to the selection of bank to purchase loan is given to demonstrate the significance of our proposed approach. Finally, a comparative analysis with existing operators is given to demonstrate the peculiarity of our proposed operators.
- Published
- 2020
14. Stabilizers in MTL-algebras
- Author
-
Jun Tao Wang, Pengfei He, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,0209 industrial biotechnology ,Pure mathematics ,Relation (database) ,Multiplicative function ,General Engineering ,Order (ring theory) ,02 engineering and technology ,Mathematics::Logic ,020901 industrial engineering & automation ,Artificial Intelligence ,Computer Science::Logic in Computer Science ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Mathematics ,Stabilizer (chemistry) - Abstract
In the paper, we introduce some stabilizers and investigate related properties of them in MTL-algebras.Then, we also characterize some special classes of MTL-algebras, for example, IMTL-algebras, integral MTL-algebras, Godel algebras and MV-algebras, in terms of these stabilizers. Moreover, we discuss the relation between stabilizers and several special filters (ideals) in MTL-algebras. Finally, we discuss the relation between these stabilizers and prove that the right implicative stabilizer and right multiplicative stabilizer are order isomorphic. This results also give answers to some open problems, which were proposed by Motamed and Torkzadeh in [Soft Comput, {\bf 21} (2017) 686-693].
- Published
- 2018
15. On derivations of commutative multiplicative semilattices
- Author
-
Mei Wang, Jun Tao Wang, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Pure mathematics ,Artificial Intelligence ,010102 general mathematics ,Multiplicative function ,0202 electrical engineering, electronic engineering, information engineering ,General Engineering ,020201 artificial intelligence & image processing ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Commutative property ,Mathematics - Published
- 2018
16. Characterization of prefilters of EQ-algebra by falling shadow
- Author
-
Yijun Li, Jun Tao Wang, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,0209 industrial biotechnology ,General Engineering ,02 engineering and technology ,Characterization (mathematics) ,Algebra ,020901 industrial engineering & automation ,Artificial Intelligence ,Shadow ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Algebra over a field ,Falling (sensation) ,Mathematics - Published
- 2017
17. A new extension to PROMETHEE under intuitionistic fuzzy environment for solving supplier selection problem with linguistic preferences
- Author
-
Arsham Borumand Saeid, K. S. Ravichandran, and Raghunathan Krishankumar
- Subjects
0209 industrial biotechnology ,Rank reversals in decision-making ,business.industry ,Process (engineering) ,Context (language use) ,02 engineering and technology ,Linguistics ,020901 industrial engineering & automation ,Ranking ,0202 electrical engineering, electronic engineering, information engineering ,Factory (object-oriented programming) ,020201 artificial intelligence & image processing ,Artificial intelligence ,Decision-making ,business ,Set (psychology) ,Preference (economics) ,Software ,Mathematics - Abstract
This paper presents a new two-tier decision making framework with linguistic preferences for scientific decision making. The major reason for adopting linguistic preference is to ease the process of rating of alternatives by allowing decision makers (DMs) to strongly emphasize their opinion on each alternative. In the first tier, aggregation is done using a newly proposed operator called linguistic based aggregation (LBA), which aggregates linguistic terms directly without making any conversion. The main motivation for this proposal is driven by the previous studies on aggregation theory which reveals that conversion leads to loss of information and formation of virtual sets which are no longer sensible and rational for decision making process. Secondly, in the next tier, a new ranking method called IFSP (intuitionistic fuzzy set based PROMETHEE) is proposed which is an extension to PROMETHEE (preference ranking organization method for enrichment evaluation) under intuitionistic fuzzy set (IFS) context. Unlike previous ranking methods, this ranking method follows a new formulation by considering personal choice of the DMs over each alternative. The main motivation for such formulation is derived from the notion of not just obtaining a suitable alternative but also coherently satisfying the DMs’ viewpoint during decision process. Finally, the practicality of the framework is tested by using supplier selection (SS) problem for an automobile factory. The strength and weakness of the proposed LBA-IFSP framework are verified by comparing with other methods under the realm of theoretical and numerical analysis. The results from the analysis infer that proposed LBA-IFSP framework is rationally coherent to DMs’ viewpoint, moderately consistent with other methods and highly stable and robust against rank reversal issue.
- Published
- 2017
18. Some Unitary Operators on Hoop-algebras
- Author
-
A. Borumand Saeid and R. Tayebi Khorami
- Subjects
Logic ,Finite-rank operator ,Management Science and Operations Research ,Shift operator ,01 natural sciences ,Industrial and Manufacturing Engineering ,Theoretical Computer Science ,Physics::Geophysics ,Semi-elliptic operator ,General Relativity and Quantum Cosmology ,Artificial Intelligence ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,0101 mathematics ,Hoop-algebra ,Multiplier ,Mathematics ,Applied Mathematics ,lcsh:Mathematics ,010102 general mathematics ,Displacement operator ,Compact operator ,lcsh:QA1-939 ,⊙-closure operator ,010101 applied mathematics ,Algebra ,Mathematics::Logic ,Ladder operator ,Multiplication operator ,Control and Systems Engineering ,lcsh:TA1-2040 ,Homomorphism ,Modal operator ,Unitary operator ,lcsh:Engineering (General). Civil engineering (General) ,Information Systems - Abstract
In this paper, we introduce the notions of multiplier, ⊙ -closure operator and modal operator on hoop-algebras. After that, we investigate some algebraic properties of multiplier, ⊙ -closure operator and modal operator on hoop-algebras. Then we study relationships between multiplier and closure operator on hoop-algebras showing that, any monotone modal operator on hoop-algebra serves as a closure operator. Finally we represent image of hoop-algebra under the closure operator can be a hoop-algebra.
- Published
- 2017
19. Some studies in fuzzy non-associative semigroups
- Author
-
A. Borumand Saeid, Murad-ul-Islam Khan, Quaid Iqbal, Faisal Yousafzai, and Mohammed M. Khalaf
- Subjects
Statistics and Probability ,Algebra ,Artificial Intelligence ,010102 general mathematics ,0202 electrical engineering, electronic engineering, information engineering ,General Engineering ,020201 artificial intelligence & image processing ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Fuzzy logic ,Associative property ,Mathematics - Published
- 2017
20. Some results in hoop algebras
- Author
-
A. Namdar, Rajab Ali Borzooei, M. Aaly Kologani, and A. Borumand Saeid
- Subjects
Statistics and Probability ,Artificial Intelligence ,010102 general mathematics ,0202 electrical engineering, electronic engineering, information engineering ,General Engineering ,020201 artificial intelligence & image processing ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Mathematics - Published
- 2017
21. On co-annihilators in residuated lattices
- Author
-
Esfandiar Eslami, Farnaz Ghanavizi Maroof, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,0209 industrial biotechnology ,Pure mathematics ,General Engineering ,02 engineering and technology ,Extension (predicate logic) ,020901 industrial engineering & automation ,Artificial Intelligence ,Filter (video) ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Residuated lattice ,Arithmetic ,Mathematics - Abstract
In this paper, extension of relative co-annihilator in residuated lattices is introduced for subsets T and Y of residuated lattice L and is denoted by (T, Y ). In this extension, T has a more important role than Y , as expected. It is proved if T is a filter, then co-annihilator of T relative to Y is a filter and is the same as the co-annihilator of T relative to the filter generated by Y. Also some theorems are stated and proved which determine the relationship between this special subset and the other types of filters. Finally, we give some conditions for subsets T and Y of residuated lattices L, for which (T, Y ) is a special subset of L.
- Published
- 2016
22. Relations and homomorphisms of fuzzy hyper BE–subalgebras
- Author
-
Mohammad Hamidi and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Discrete mathematics ,Pure mathematics ,Fuzzy classification ,Fuzzy measure theory ,Mathematics::General Mathematics ,General Engineering ,02 engineering and technology ,Fuzzy subalgebra ,Type-2 fuzzy sets and systems ,01 natural sciences ,Defuzzification ,010101 applied mathematics ,Physics::Popular Physics ,Computer Science::Sound ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,Fuzzy number ,Fuzzy set operations ,020201 artificial intelligence & image processing ,Fuzzy associative matrix ,0101 mathematics ,Mathematics - Abstract
This paper introduces the notion of (locally) fuzzy homomorphism in fuzzy hyper BE-subalgebra and makes a connection between fuzzy BE-algebras and hyper BE-algebras via this notion. Considering the fuzzy homomorphism in fuzzy hyper BE-subalgebra, this study defines some equivalence relations in a way that, under some conditions, are regular or strongly regular and so derives fuzzy BE-algebras by quotient of hyper fuzzy BE-subalgebras. In fact, it tries to introduce some strongly regular relations on any hyper BE-algebras by using the concept of fuzzy hyper BE-subalgebras and fuzzy homomorphism. Moreover, the concept of normal fuzzy homomorphism is defined and some new normal fuzzy homomorphisms are introduced to make better connections between fuzzy BE-algebras and fuzzy hyper BE-subalgebras.
- Published
- 2016
23. A Fuzzy Multi-objective Linear Programming Model Based on Interval-valued Intuitionistic Fuzzy Sets for Supplier Selection
- Author
-
Afsane Afzali, Arsham Borumand Saeid, and Marjan Kuchaki Rafsanjani
- Subjects
0209 industrial biotechnology ,Mathematical optimization ,Fuzzy classification ,TOPSIS ,02 engineering and technology ,Type-2 fuzzy sets and systems ,Defuzzification ,Fuzzy logic ,Theoretical Computer Science ,020901 industrial engineering & automation ,Computational Theory and Mathematics ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,Fuzzy number ,Fuzzy set operations ,020201 artificial intelligence & image processing ,Software ,Membership function ,Mathematics - Abstract
Nowadays, companies are paying more attention to supply chain management in order to achieve success in the competitions and keep the customers satisfied. Therefore, supplier selection is of prime importance in a supply chain which has a key role in determining the success or failure of a business. In this paper, fuzzy multi-objective linear programming model with group decision making is presented. Firstly, linguistic variables in the form of interval-valued intuitionistic fuzzy numbers and group decisions are defined. By using TOPSIS method, the weight of each criterion (objective) and weight of each constraint are determined. Then, with defining membership functions of the objectives and membership functions of suppliers’ constraints and using the achieved weights from the previous phase, the supplier selection problem will be converted to fuzzy multi-objective linear programming model which determines the appropriate ordering quantities for each supplier. Finally, two numerical examples for supplier selection are used to demonstrate the practicality and effectiveness of the proposed approach.
- Published
- 2016
24. Commutators in BCI-algebras
- Author
-
Esfandiar Eslami, Ardavan Najafi, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Class (set theory) ,Inverse image ,Quantitative Biology::Neurons and Cognition ,General Engineering ,Computer Science::Human-Computer Interaction ,02 engineering and technology ,Cartesian product ,Algebra ,symbols.namesake ,Computer Science::Sound ,Artificial Intelligence ,0202 electrical engineering, electronic engineering, information engineering ,symbols ,020201 artificial intelligence & image processing ,Mathematics ,Brain–computer interface - Abstract
In this paper, the notions of commutators and pseudo commutators of elements (subsets) of a BCI-algebra are introduced and some properties are given. The concept of solvable BCI-algebras are also discussed and their properties are investigated. It is proved that the class of solvable BCI-algebras is closed under sub-algebra, cartesian product and inverse image operations.
- Published
- 2016
25. Stonean Hilbert algebra
- Author
-
Arsham Borumand Saeid and Ali Soleimani Nasab
- Subjects
Statistics and Probability ,Algebra ,Pure mathematics ,Hilbert series and Hilbert polynomial ,symbols.namesake ,Hilbert algebra ,Artificial Intelligence ,General Engineering ,symbols ,Mathematics - Published
- 2015
26. On K-modal BL-logics
- Author
-
Esfandiar Eslami, Arsham Borumand Saeid, and Omid Yousefi Kia
- Subjects
Statistics and Probability ,Discrete mathematics ,Soundness ,Normal modal logic ,General Engineering ,Multimodal logic ,Schematic ,Algebra ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Modal ,Algebraic semantics ,Artificial Intelligence ,Completeness (logic) ,Hardware_LOGICDESIGN ,Mathematics - Abstract
This article will introduce K-modal BL-logic and investigate some properties of this new logic. Consequently, T -modal BL-logic and S4-modal BL-logic, as schematic extensions of K-modal BL-logic, will be dealt with. Likewise, the algebraic semantics based on each logic will be constructed. Finally, the soundness and completeness theorems of these logics will be proved.
- Published
- 2015
27. Soft n-Ary Subgroups
- Author
-
Feng Feng, Arsham Borumand Saeid, and D. R. Prince Williams
- Subjects
Logic ,Algebraic structure ,Generalization ,Astrophysics::High Energy Astrophysical Phenomena ,n-Ary subgroup ,Management Science and Operations Research ,Characterization (mathematics) ,Industrial and Manufacturing Engineering ,Theoretical Computer Science ,Combinatorics ,Development (topology) ,Soft set ,Artificial Intelligence ,Algebraic number ,Mathematics ,Computer Science::Information Theory ,Discrete mathematics ,Group (mathematics) ,Applied Mathematics ,lcsh:Mathematics ,Soft n-ary relation ,Soft n-ary subgroup ,lcsh:QA1-939 ,Subgroup ,Control and Systems Engineering ,lcsh:TA1-2040 ,lcsh:Engineering (General). Civil engineering (General) ,Information Systems - Abstract
Soft set theory plays a vital role in solving many complicated problems with inherited uncertainty. An n -ary algebraic systems is a generalization of algebraic structures and it is the most natural way for the further development, deeper understanding of their properties. In this paper, we apply soft set theory to an n -ary algebraic systems and introduce the notions of soft n -ary groups and soft n -ary subgroups. Further, some operations on soft sets are extended to the former. Finally, we provide the characterization of soft n -ary subgroups over an n -ary group ( G , f ) and study their related properties.
- Published
- 2015
28. Semi maximal filter in Hilbert algebra
- Author
-
Ali Soleimani Nasab and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Discrete mathematics ,Set (abstract data type) ,Pure mathematics ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Hilbert algebra ,Closed set ,Artificial Intelligence ,General Engineering ,Closure operator ,Filter (mathematics) ,Mathematics - Abstract
In this paper, the radical of an implicative filter in Hilbert algebras is studied and some theorems are given on its properties and we show that radical form a closure operator. Also, the radical of the set of all regular elements is characterized. Finally, the notion of semi maximal filter is introduced as a closed set of that closure operator and studied it in detail.
- Published
- 2015
29. Primary decomposition of A-ideals in MV-modules
- Author
-
Arsham Borumand Saeid, Fereshteh Forouzesh, and Esfandiar Eslami
- Subjects
Statistics and Probability ,Primary decomposition ,Pure mathematics ,Artificial Intelligence ,General Engineering ,Mathematics - Published
- 2015
30. δ-relation on dual hyper K–algebras
- Author
-
Arsham Borumand Saeid, Akbar Rezaei, and Mohammad Hamidi
- Subjects
Statistics and Probability ,Algebra ,Transitive relation ,Pure mathematics ,Relation (database) ,Artificial Intelligence ,General Engineering ,Commutative property ,Quotient ,Mathematics ,Dual (category theory) - Abstract
In this paper, we are going to introduce a fundamental relation "δ" on (hyper BE-algebra) dual hyper K-algebra and investigate some properties. We show that quotient of any dual hyper K-algebra via a regular relation is a hyper BE-algebra and this quotient, via any strongly regular relation is a BE-algebra. Furthermore, it shows that "δ" under some condition is transitive and quotient of any weak commutative dual hyper K-algebra via "δ ∗ " is a dual BCK-algebra.
- Published
- 2015
31. On codes based on BCK-algebras
- Author
-
Arsham Borumand Saeid, Cristina Flaut, Marjan Kuchaki Rafsanjani, and Hamideh Fatemidokht
- Subjects
Statistics and Probability ,Block code ,Computer science ,Concatenated error correction code ,General Engineering ,Reed–Muller code ,Serial concatenated convolutional codes ,Linear code ,Mathematics::Logic ,Artificial Intelligence ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,Turbo code ,Hamming code ,Algorithm ,Raptor code - Abstract
In this paper, we present some new connections between BCK-algebras and binary block codes.
- Published
- 2015
32. Certain types of vague cycles and vague trees
- Author
-
Arsham Borumand Saeid, Adeel Farooq, K. P. Shum, and Muhammad Akram
- Subjects
Statistics and Probability ,Discrete mathematics ,Theoretical computer science ,Computer Science::Information Retrieval ,General Engineering ,Numerical models ,Computer Science::Artificial Intelligence ,computer.software_genre ,Fuzzy logic ,Expert system ,Graph ,Physics::Popular Physics ,Artificial Intelligence ,Fuzzy graph ,computer ,Mathematics - Abstract
Fuzzy models are becoming useful because of their aim of reducing the differences between the traditional numerical models used in engineering and sciences and the symbolic models used in expert systems. A vague graph is a generalized structure of a fuzzy graph that gives more precision, flexibility, and compatibility to a system when compared with systems that are designed using fuzzy graphs. In this paper, we introduce various types of vague bridges, vague cut-vertices, vague cycles and vague trees in vague graphs, and investigate some of their interesting properties. Most of these various types are defined in terms of levels. We also describe comparison of these types.
- Published
- 2015
33. A similarity-based mechanism to control genetic algorithm and local search hybridization to solve traveling salesman problem
- Author
-
Marjan Kuchaki Rafsanjani, Arsham Borumand Saeid, and Sadegh Eskandari
- Subjects
Mathematical optimization ,education.field_of_study ,business.industry ,Population ,2-opt ,Travelling salesman problem ,Hybrid algorithm ,Local optimum ,Artificial Intelligence ,Genetic algorithm ,Local search (optimization) ,Heuristics ,education ,business ,Algorithm ,Software ,Mathematics - Abstract
A big shortcoming of the simple genetic algorithm is that whenever it converges to a local optimum, its performance is continuously deteriorating, especially in the highly nonlinear problems such as traveling salesman problem (TSP). Therefore, some heuristics such as local search are needed to help genetic algorithm (GA) loops escaping such situations. The critical point in such hybridization is the determining a suitable time for applying local search to the GA population. In this study, a new hybridization of GA and local search based on a new similarity-based control mechanism is proposed, and its behavior on different TSP instances is compared with simple GA. The experimental results show that the proposed hybrid algorithm yields the optimal tour length in most of the cases, especially in the TSP instances with higher complexity.
- Published
- 2014
34. Radicals in MTL-algebras
- Author
-
Arsham Borumand Saeid and Saeide Zahiri
- Subjects
Mathematics::Logic ,Pure mathematics ,Artificial Intelligence ,Logic ,Computer Science::Logic in Computer Science ,Radical ,State (functional analysis) ,Filter (mathematics) ,Residuated lattice ,Computer Science::Formal Languages and Automata Theory ,Prime (order theory) ,Mathematics - Abstract
We study some special sets in MTL-algebras. The notion of the radical of a filter in MTL-algebras is defined and several characterizations of the radical of a filter are given. The sets of dense elements and double complemented elements in MTL-algebras are defined and we state and prove some theorems on the properties of these sets and filters of MTL-algebras. We also prove that the radical of a positive implicative filter of an MTL-algebra is a subset of double complemented elements.
- Published
- 2014
35. Coatoms and comolecules of BL-algebras
- Author
-
Mahdieh Abbasloo and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Pure mathematics ,Artificial Intelligence ,General Engineering ,Bl algebras - Published
- 2014
36. Stabilizer theory in MV-algebras
- Author
-
Esfandiar Eslami, Fereshteh Forouzesh, and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Materials science ,Chemical engineering ,Artificial Intelligence ,General Engineering ,Stabilizer (chemistry) - Published
- 2014
37. Implication BL-algebras
- Author
-
N. Mohtashamnia and A. Borumand Saeid
- Subjects
Statistics and Probability ,Pure mathematics ,Jordan algebra ,Algebraic structure ,Subalgebra ,General Engineering ,MV-algebra ,Complete Boolean algebra ,Term algebra ,Algebra ,Artificial Intelligence ,Algebra representation ,Division algebra ,Mathematics - Abstract
In this paper, we first introduce the notion of implication filters in BL-algebras and then state and prove some theorems which determine the relationships of these filters and other filters in BL-algebras. We also introduce the notion of implication BL-algebras and investigate its properties, as well as the relationship of implication BL-algebras and other algebraic structures.
- Published
- 2014
38. Krull dimension in BL-algebra
- Author
-
Arsham Borumand Saeid and Mahdieh Abbasloo
- Subjects
Statistics and Probability ,Set (abstract data type) ,Algebra ,Krull's principal ideal theorem ,Regular sequence ,Dimension (vector space) ,Artificial Intelligence ,General Engineering ,Regular local ring ,Krull dimension ,Dimension theory (algebra) ,Global dimension ,Mathematics - Abstract
In this paper, we introduce the notion of upper (down) set in BL-algebras and extended upper sets of BL-algebras. Also, the notions of Krull dimension and regular sequence in BL-algebras are introduced and studied in detail.
- Published
- 2014
39. A new filter in BL-algebras
- Author
-
Somayeh Motamed and Arsham Borumand Saeid
- Subjects
Statistics and Probability ,Discrete mathematics ,symbols.namesake ,Artificial Intelligence ,General Engineering ,symbols ,Structure (category theory) ,Construct (python library) ,State (functional analysis) ,Filter (mathematics) ,Bl algebras ,Boolean algebra ,Mathematics - Abstract
In this paper we introduce the notion of obstinate filter in BL-algebra A and we state and prove some theorems which determine the relationship between this notion and other types of filters of a BL-algebra and by some examples we show that this notion is different. Also, we prove that if F is an obstinate filter, then F is a Boolean filter hence A/F is a Boolean algebra. Finally, we construct some algorithms for studying the structure of the finite BL-algebras and filters in finite BL-algebras.
- Published
- 2014
40. Vague hypergraphs
- Author
-
A. Borumand Saeid, A. Nagoor Gani, and Muhammad Akram
- Subjects
Statistics and Probability ,Mathematics::Combinatorics ,Theoretical computer science ,Computer Science::Discrete Mathematics ,Artificial Intelligence ,Computer science ,Circuit design ,General Engineering ,Partition (number theory) ,Model system ,Cluster analysis ,Data structure ,MathematicsofComputing_DISCRETEMATHEMATICS - Abstract
Hypergraphs are among the most ubiquitous models of both natural and human-made structures. They can be used to model system architectures and data structures, and to represent a partition, covering and clustering in the area of circuit design. In this paper, we introduce the notions of vague hypergraphs and dual vague hypergraphs and present some of their interesting properties. We also introduce the notion of A-tempered vague hypergraphs and investigate some of their properties.
- Published
- 2014
41. bi-Strong Smarandache BL-algebras
- Author
-
Arsham Borumand Saeid and Mahdieh Abbasloo
- Subjects
Discrete mathematics ,Pure mathematics ,Mathematics::General Mathematics ,Logic ,Applied Mathematics ,Management Science and Operations Research ,Industrial and Manufacturing Engineering ,Theoretical Computer Science ,Artificial Intelligence ,Control and Systems Engineering ,Ideal (ring theory) ,Filter (mathematics) ,Bl algebras ,Quotient ,Information Systems ,Mathematics - Abstract
In this paper, we introduce the notion of bi-Smarandache BL-algebra, bi-weak Smarandache BL-algebra, bi-Q-Smarandache ideal and bi-Q-Smarandache implicative filter, we obtain some related results and construct quotient of bi-Smarandache BL-algebras via MV-algebras (or briefly bi-Smarandache quotient BL-algebra) and prove some theorems. Finally, the notion of bi-strong Smarandache BL-algebra is presented and relationship between bi-strong Smarandache BL-algebra and bi-Smarandache BL-algebra are studied.
- Published
- 2013
42. Fuzzy congruence relations in CI-algebras
- Author
-
Akbar Rezaei and Arsham Borumand Saeid
- Subjects
Discrete mathematics ,Pure mathematics ,Mathematics::General Mathematics ,Fuzzy ideal ,Fuzzy subalgebra ,Congruence relation ,Fuzzy logic ,Artificial Intelligence ,Fuzzy mathematics ,Computational Science and Engineering ,Congruence (manifolds) ,Software ,Quotient ,Mathematics - Abstract
In this paper, we introduce the notion of fuzzy filters(ideals) in CI-algebras. We study fuzzy congruence relation in detail and construct quotient of \((X/\bar{\theta}; {\circ}, 1/\bar{\theta})\) via a fuzzy congruence relation on CI-algebra X.
- Published
- 2012
43. New representation for filters of BL-algebras
- Author
-
A. Borumand Saeid and R. Tayebi Khorami
- Subjects
Statistics and Probability ,Algebra ,Pure mathematics ,Artificial Intelligence ,Mathematics::Number Theory ,General Engineering ,Representation (systemics) ,Bl algebras ,Mathematics - Abstract
In this paper, we introduce the concept of TL-filter of BL-algebra and study some basic properties. TL-filter generated by L-subsets and the concept of T-congruence L-relations on BL-algebra are introduced and the relationships between TL-filters and T-congruence L-relations on BL-algebra are studied.
- Published
- 2012
44. Fuzzy soft ideals in subtraction algebras
- Author
-
Arsham Borumand Saeid and D. R. Prince Williams
- Subjects
Fuzzy classification ,Ideal (set theory) ,Mathematics::Commutative Algebra ,Mathematics::General Mathematics ,Astrophysics::High Energy Astrophysical Phenomena ,Subtraction ,Fuzzy subalgebra ,Fuzzy logic ,Image (mathematics) ,Algebra ,ComputingMethodologies_PATTERNRECOGNITION ,Artificial Intelligence ,Fuzzy set operations ,ComputingMethodologies_GENERAL ,Software ,Mathematics ,Soft set - Abstract
In this article, we introduced the notions fuzzy soft subalgebras and fuzzy soft ideal of subtraction algebras. We showed that fuzzy soft image and fuzzy soft inverse image of fuzzy soft ideal are both fuzzy soft ideal under certain conditions. We have studied their related properties in details.
- Published
- 2011
45. A new generalization of fuzzy BCK/BCI-algebras
- Author
-
A. Borumand Saeid, D. R. Prince Williams, and M. Kuchaki Rafsanjani
- Subjects
Quantitative Biology::Neurons and Cognition ,Generalization ,Computer Science::Human-Computer Interaction ,State (functional analysis) ,Type (model theory) ,Fuzzy logic ,Algebra ,Mathematics::Logic ,Computer Science::Emerging Technologies ,Computer Science::Sound ,Artificial Intelligence ,Computational Science and Engineering ,Software ,Mathematics ,Brain–computer interface - Abstract
In this paper, generalization of the fuzzy BCK/BCI-algebras of type (α, β)* are introduced. Then we state and prove some theorems that determine the relationship between these notions and subalgebras of BCK/BCI-algebras. Characterizations of (α, β)*-fuzzy subalgebras in a BCK/BCI-algebras are given.
- Published
- 2011
46. n-Fold obstinate filters in BL-algebras
- Author
-
Arsham Borumand Saeid and Somayeh Motamed
- Subjects
Discrete mathematics ,Quantitative Biology::Biomolecules ,Pure mathematics ,Fold (higher-order function) ,Boolean algebra (structure) ,Structure (category theory) ,MV-algebra ,symbols.namesake ,Artificial Intelligence ,symbols ,Computational Science and Engineering ,Filter (mathematics) ,Bl algebras ,Software ,Mathematics - Abstract
In this paper, we introduced the notion of n-fold obstinate filter in BL-algebras and we stated and proved some theorems, which determine the relationship between this notion and other types of n-fold filters in a BL-algebra. We proved that if F is a 1-fold obstinate filter, then A/F is a Boolean algebra. Several characterizations of n-fold fantastic filters are given, and we show that A is a n-fold fantastic BL-algebra if A is a MV-algebra (n ≥ 1) and A is a 1-fold positive implicative BL-algebra if A is a Boolean algebra. Finally, we construct some algorithms for studying the structure of the finite BL-algebras and n-fold filters in finite BL-algebras.
- Published
- 2011
47. Fuzzy n-fold ideals in BCH-algebras
- Author
-
M. Kuchaki Rafsanjani, Arsham Borumand Saeid, and A. Namdar
- Subjects
Physics::Popular Physics ,Pure mathematics ,Artificial Intelligence ,Computational Science and Engineering ,Fuzzy logic ,Software ,BCH code ,Computer Science::Information Theory ,Mathematics - Abstract
In this paper, we introduce the notion of fuzzy n-folds (P, implicative and fantastic) ideals in BCH-algebras which is a natural generalization of notion of n-folds (P, implicative and fantastic) ideals in BCH-algebras and we stated and proved some theorems which determines the relationship between these notions. Finally we give some computational Algorithms for these notions.
- Published
- 2010
48. Redefined fuzzy B-algebras
- Author
-
A. Zarandi Baghini and A. Borumand Saeid
- Subjects
Discrete mathematics ,Mathematics::General Mathematics ,Artificial Intelligence ,Logic ,Mathematics::Algebraic Topology ,Fuzzy logic ,Software ,Mathematics - Abstract
By two relations belonging to and quasi-coincidence (q) between fuzzy points and fuzzy sets, we define the concept of (±, ±)-fuzzy subalgebras where ±, ± are any two of $${\{\in, q, \in\vee q, \in\wedge q\}}$$ with $${\alpha\neq \in\wedge q}$$. We state and prove some theorems in (±, ±)-fuzzy B-algebras.
- Published
- 2008
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.