Masoud Haveshki

dblp:12/3673 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 aRM -logic
abstract
Abstract 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