منابع مشابه
Symbolic logic
The roots of symbolic logic can be traced as far back as to the study of syllogisms by Aristotle. However, it was not until the second half of the nineteenth century that its modern form began crystallizing, whereas solid foundations had to wait until the second decade of the twentieth century. Symbolic logic is concerned with the validity of arguments, for whose study it abstracts away from co...
متن کاملThe Journal of Symbolic Logic
‘Fuzzy logic’ means different things to different people. For some it is a philosophy of life – “a way to break the stranglehold that the black-and-white thinking of the Western tradition has upon us.” For others it is a more accurate way of describing our ordinary language (and thought) “in which we do not think that everything is either true or false but where we recognize the shades of grey ...
متن کاملThe Journal of Symbolic Logic
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory. §
متن کاملSymbolic Execution with Separation Logic
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method uses a form of symbolic execution, a decidable proof theory for symbolic heaps, and extraction of frame axioms from incomplete proofs. This is a precursor to the use of the logic in automatic specification checking, ...
متن کاملThe Journal of Symbolic Logic
The set of all words in the alphabet {/, r} forms the full binary tree T. If x e T then xl and xr are the left and the right successors of x respectively. We consider the monadic second-order language of the full binary tree with the two successor relations. This language allows quantification over elements of rand over arbitrary subsets of T. We prove that there is no monadic second-order form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1978
ISSN: 0001-8708
DOI: 10.1016/0001-8708(78)90119-6