VLDB 2026 Research / reviewers in the wild / expert
Masoud Haveshki
dblp:12/3673
· DBLP profile ↗
6ranked-venue papers
6as first author
1since 2021 · last 2026
0000-0003-4887-2484ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 5 first-authorTheory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | aRM -logicabstractAbstract In the last four decades, researchers have introduced several algebraic structures, including $BCH$, $BZ$, $aBE$ and $Humberstone$-algebras. Iorgulescu (2016, J. Mult.-Valued Log. Soft Comput, 27, 353–406) generalized these algebras under the term $aRM$-algebras. This paper connects these algebras to their corresponding logical systems. Specifically, we define $aRM$-logic, demonstrate its strong soundness and completeness relative to $aRM$-algebras, and establish the independence of its axioms. We further explore connections between $aRM$-logic and $BCK/BCI$-logic, and introduce four schematic extensions of $aRM$-logic: $BCH$-logic, $BZ$-logic, $aBE$-logic and $H$-logic, each proven strongly sound and complete with respect to their associated algebras. We show that $aRM$-logic is algebraizable (in the sense of Blok and Pigozzi (1989, Algebraizable Logics, vol. 77. American Mathematical Society)) with the defining equation $p \rhd p \approx p$ and the equivalence formulas $\lbrace p \rhd q, q \rhd p \rbrace$. We also introduce $aR$-logic (a logic weaker than $aRM$-logic) and prove that it is the minimal algebraizable logic with the same defining equation $p \rhd p \approx p$ and equivalence formulas $\lbrace p \rhd q, q \rhd p \rbrace$. Masoud Haveshki, Mahboobeh Mohamadhasani |
J. Log. Comput. | 1 |
| 2014 | A note on some types of filters in MTL-algebras
Masoud Haveshki |
Fuzzy Sets Syst. | 1 |
| 2012 | Lack of associative filters in lattice implication algebras
Masoud Haveshki, Mahboobeh Mohamadhasani |
Soft Comput. | 1 |
| 2012 | Extended filters in bounded commutative Rl-monoids
Masoud Haveshki, Mahboobeh Mohamadhasani |
Soft Comput. | 1 |
| 2007 | Some Types of Filters in BL Algebras
Masoud Haveshki, A. Borumand Saeid, Esfandiar Eslami |
Soft Comput. | 1 |
| 2006 | Some types of filters in BL algebras
Masoud Haveshki, A. Borumand Saeid, Esfandiar Eslami |
Soft Comput. | 1 |