Equality propositional logic and its extensions

سال انتشار: 1398
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 308

فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_IJFS-16-5_011

تاریخ نمایه سازی: 17 آبان 1400

کلیدواژه ها:

Equality algebra ، Equality propositional logic ، completeness ، Delta equality propositional logic

نویسندگان

X. L. Gao

School of Mathematics, Northwest University, Xi&#۰۳۹;an,۷۱۰۱۲۷, China

X. L. Xin

School of Mathematics, Northwest University, Xi&#۰۳۹;an,۷۱۰۱۲۷, China

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • M. Bazz, Infi nite-valued Godel logics with ۰-۱-projections and relativizations, In: ...
  • H. Casta˜neda, Leibniz's syllogistico-propositional calculus, Notre Dame Journal of Formal ...
  • L. C. Ciungu, Internal states on equality algebras, Soft Computing, ...
  • M. Dyba, V. Nov´ak, EQ-logics: Non-commutative fuzzy logics based on ...
  • M. Dyba, V. Nov´ak, EQ-logics with delta connective, Iranian Journal ...
  • M. El-Zekey, Representable good EQ-algebras, Soft Computing, ۱۴ (۲۰۱۰), ۱۰۱۱-۱۰۲۳ ...
  • M. El-Zekey, V. Nov´ak, R. Mesiar, On good EQ-algebras, Fuzzy ...
  • F. Esteva, L. Godo, Monoidal t-norm based logic: Towards a ...
  • S. Gottwald, Mathematical fuzzy logics, Bulletin of Symbolic Logic, ۱۴(۲) ...
  • D. Gries, F. Schneider, A logical approach to discrete math, ...
  • L. Henkin, A theory of propositional types, Fundamenta of Mathematicae, ...
  • S. Jenei, Equality algrbras, Studia Logica, ۱۰۰ (۲۰۱۲), ۱۲۰۱-۱۲۰۹ ...
  • V. Nov´ak, B. D. Baets, EQ-algebras, Fuzzy Sets and Systems, ...
  • J. Yang, X. L. Xin, P. F. He, Uniform topology ...
  • J. Yang, X. L. Xin, P. F. He, On topological ...
  • F. Zebardast, R. A. Borzooei, M. Aaly Kologani, Results on ...
  • نمایش کامل مراجع