Kira Koyo's Inmyo Interpretations and Western Logic
نویسندگان
چکیده
منابع مشابه
Kira Goldner
Given an input of two images, our goal was to produce an angled dice structure that presents the first image when observed from the left, and the second when observed from the right. We converted the images to grayscale, divided the image into a dice board, and assigned each die-block of pixels a gray-value. Then, we optimized the face of the die assigned to each die-block for each image to hav...
متن کاملComputational Interpretations of Linear Logic
We study Girard's Linear Logic from the point of view of giving a concrete computational interpretation of the logic, based on the Curry-Howard isomorphism. In the case of Intuitionistic Linear Logic, this leads to a reenement of the lambda calculus, giving ner control over order of evaluation and storage allocation, while maintaining the logical content of programs as proofs, and computation a...
متن کاملOperational Interpretations of Linear Logic
Two diierent operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties , but is often dismissed as being too ineecient. Alternatively , one can memoize the results of evaluating non-linear values. This avoids any recomputation, bu...
متن کاملModal Interpretations of Default Logic
In the paper we study a new and natural modal interpretat ion of defaults. We show that under this interpretat ion there are whole families of modal nonmonotonic logics that accurately represent default reasoning. One of these logics is used in a definition of possible-worlds semantics for default logic. This semantics yields a characterization of default extensions similar to the characterizat...
متن کاملInterpretations of Negations in Logic Programs
We consider logic programming languages in which it is possible to derive negative information both through a direct and through an indirect derivation mechanism. The isolated direct derivation steps are monotone and the indirect are based on the Closed World Assumption and therefore nonmonotone. The semantics of the direct and indirect negative conclusions have separately been studied extensiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu)
سال: 2015
ISSN: 0019-4344,1884-0051
DOI: 10.4259/ibk.63.3_1126