Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Khatami, Seyed Mohammad Amin"'
In this article, a model-theoretic approach is proposed to prove that the first-order G\"odel logic, $\mathbf{G}$, as well as its extension $\mathbf{G}^\Delta$ associated with first-order relational languages enjoy the Craig interpolation property. T
Externí odkaz:
http://arxiv.org/abs/2309.10860
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 $\star$-metric terminology. We are interested in the topological space induced by a $\
Externí odkaz:
http://arxiv.org/abs/2009.00943
Autor:
Khatami, Seyed Mohammad Amin
Publikováno v:
Journal of Algebraic Systems, Volume 9, Issue 2, 2022, Pages 281-298
This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between elements of $
Externí odkaz:
http://arxiv.org/abs/1909.03803
Autor:
Khatami, Seyed Mohammad Amin
Publikováno v:
Iranian Journal of Fuzzy Systems, Volume 19, Number 3, (2022), pp. 53-68
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 satisfiability in many-valued logics, poses various kind of the compac
Externí odkaz:
http://arxiv.org/abs/1905.01441
Autor:
Khatami, Seyed Mohammad Amin
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.
Externí odkaz:
http://arxiv.org/abs/1507.06744
Autor:
Khatami, Seyed Mohammad Amin
We study three kinds of compactness in some variants of G\"odel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the compactness
Externí odkaz:
http://arxiv.org/abs/1410.3027
This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many nullary logical
Externí odkaz:
http://arxiv.org/abs/1309.1031