منابع مشابه
The three dimensions of proofs
In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch...
متن کاملapplication of brand personality scale in automobile industry: the study of samand’s brand personality dimensions
این تحقیق شخصیت برند سمند را در ایران با استفاده از مدل پنج بعدی آکر (1997) بعنوان یک چهارچوب بطور توصیفی سنجیده است. بنابر این چهارچوب که دراصل در 42 جزء (42 ویزگی شخصیتی) ودر پنج بعد شخصیتی طراحی شده بود ودر کشورها وصنایع مختلف آزموده شده بود, پرسنامه به زبان فارسی ترجمه شده و با استفاده از روشهای ترجمه معکوس و مصاحبه عمیق با 12 متخصص ایرانی به 38 جزء کاهش یافت. و نظرسنجی ای در پنج نمایندگی ا...
15 صفحه اولhistological evaluation of the effect of three medicaments; trichloracetic acid, formocresol and mineral trioxide aggregate on pulpotomized teeth of dogs
چکیده ندارد.
15 صفحه اولIsomorphism between the Peres and Penrose Proofs of the BKS Theorem in Three Dimensions
It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the...
متن کاملa comparative study of the theme of "marriage" in three victorian novelists: charles dickens, george eliot and thomas hardy
این تحقیق کوشیده است با انتخاب پنج رمان از میان آثار برگزیده، «چارلز دیکنز»، «جورج الیوت» و «توماس هاردی » و با رویکردی تطبیقی به بررسی درونمایه ی «ازدواج» در آثار این سه رمان نویس بزرگ دوره ی ویکتوریا بپردازد. فرضیه ی اولیه ی تحقیق این بوده است که چارلز دیکنز (1870- 1812) با زبانی شوخ و گزنده، جورج الیوت(1880- 1819) با نگاهی آموزشی–اندرزگونه و توماس هاردی(1928- 1840) با رویکردی تلخ وانتقادی به...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.12.012