The Journal of Symbolic Logic, Volume 17Association for Symbolic Logic., 1952 - 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
On direct products of theories By ANDRZEJ MOSTOWSKI | 1 |
An extension of computational logic By ALAN ROSE | 32 |
On the interpretation of nonfinitist proofsPart II By G KREISEL | 43 |
16 other sections not shown
Other editions - View all
Common terms and phrases
a₁ algebra ALONZO CHURCH analytic ANDRZEJ MOSTOWSKI apply arbitrary argument arithmetic axiom of infinity axioms Beweis Bolzano Carnap concept considered consistent constituents construction contains contravalid corresponding decision problem defined definition denote elementary theory elements elimination theorem Entscheidungsproblem equivalent exist expressions false finite order follows formal logic formula free variables functional calculus g₁ given Gödel hence Ibid identity induction inference integers interpretation JOURNAL L₁ language lemma Logik mathematical logic meaning n-tuple natural numbers negation NICHOLAS RESCHER notation notion obtain ordinal number ordinal recursive functional philosophy postulates predicate premises primitive Prof proof propositional calculus provable proved quantification theory quantifiers relations result reviewer RÓZSA PÉTER rules satisfies semantical sentences sequence Skolem statement symbolic logic T₁ Tarski tion translation true truth truth-value U-expression valid W. V. QUINE zero