4 citations · 4 across the 4 of their papers we have counts for
6 papers
The Craig Interpolation Property in First-order Gödel Logic
Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana
In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, , as well as its extension associated with first-order…
Yet Another Generalization of The Notion of a Metric Space
Seyed Mohammad Amin Khatami, Madjid Mirzavaziri
A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the -metric t…
A metric-like topology yon BL-algebras
Seyed Mohammad Amin Khatami
This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra , the introduced…
Compactness of first-order fuzzy logics
Seyed Mohammad Amin Khatami
One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable. However, different degrees of…
Additive Gödel Logic
Seyed Mohammad Amin Khatami
We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.
From rational Godel logic to continuous ultrametric logic
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin R. Tavana
This paper is devoted to systematic studies of some extensions of first-order Gödel logic. The first extension is the first-order rational Gödel logic which is an extension of firs…