کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
11010128 1812796 2018 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Surveyable sets
ترجمه فارسی عنوان
مجموعه های قابل مشاهده
ترجمه چکیده
یک مجموعه ای وجود دارد که بطور انقضا (یا به طور کلی) مورد بررسی قرار می گیرد اگر مقدار کوانتومی موجود (یا جهانی) بیش از آن مجموعه بتواند تصمیم گیری را به معنای منطق شهودی حفظ کند. ما این مفاهیم بررسی پذیری، خواص نگهداری آنها و ارتباط آنها با یکدیگر و با مفهوم مربوط به کامل بودن شبکه دو عنصر را مطالعه می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات (عمومی)
پیش نمایش مقاله
مجموعه های قابل مشاهده
چکیده انگلیسی
Call a set existentially (or universally) surveyable if existential (or universal) quantification over that set preserves decidability in the sense of intuitionistic logic. We study these notions of surveyability, their preservation properties, and their connections with each other and with the related notion of completeness of the two-element lattice.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1465-1476
نویسندگان
,