The Journal of Symbolic Logic, Volumes 7-8Alonzo Church, Cooper Harold Langford Association for Symbolic Logic., 1942 - Electronic journals Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. |
Contents
New sets of postulates for combinatory logics By BARKLEY ROSSER | 18 |
A formal theorem in Churchs theory of types By M H A NEWMAN | 28 |
A correction to the sentential calculus of Tarskis Introduction to logic | 34 |
10 other sections not shown
Other editions - View all
Common terms and phrases
addition algebra analysis application argument assigned Association Assume axiom belongs brackets calculus called cardinal Church combinators complete concept concerning condition connection consequence consider consistency contains converse deduced defined definition denote derived discussion distinction domain element enumerable sequence equal equivalent ERNEST NAGEL example exists expression fact finite finite ordinal follows formal formula fraction triplet function further given gives Hence higher idea induction inference infinite interpretation introduced JOURNAL latter limit mathematics means method names natural obtained occur one-to-one correspondence operations pair paradox particular philosophy positive possible postulates present primitive problem Prof proof properties propositions proved question real numbers Reasons recursive reference relation replacing represented respectively result rules satisfies sense sentence sequence signs statement subclass subset symbolic logic theorem theory tion true University variables York