Hasenjaeger52
type: Thing
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731370
has-title: Über omega-Unvollständigkeit in der Peano-Arithmetik.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-c34c8b6528ab5d11c650d7481bbf6c70-cfb905c0c54f001aeff78f08fc39871c
full-name: William Craig
type: Person
type: Thing

ChurchQ52
has-date: http://www.aktors.org/ontology/date#1952
type: Article-Reference
has-title: Some Theorems on Definability and Decidability.
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731428
type: Thing

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-c99448ccd4c3ee926e378b2c2646b72e
full-name: J. Barkley Rosser
type: Person
type: Thing

CraigQ52
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731429
type: Article-Reference
type: Thing
has-title: On Reduction to a Symmetric Relation.

Rosser52
type: Article-Reference
has-title: The Axiom of Infinity in Quine's New Foundations.
type: Thing
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731479
has-date: http://www.aktors.org/ontology/date#1952

http://dblp.rkbexplorer.com/id/people-1c3ad565134b0e58c4060c05057ba7f2-66e038055f5089a8fdd2969fa49740c7
full-name: Nelson Goodman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/journals-cd761b4aebc5ac2ad8d181327497e7b1
has-title: J. Symb. Log.
type: Journal
type: Thing

http://dblp.rkbexplorer.com/id/people-212aed60723197144766d19022ab05c6-1b9155e0976226e444c94bd52c37b6e2
full-name: G. Kreisel
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-49dd0fdff403b1f41129bf9e07e3537f-51042056b89c72f0c9383364aa613080
full-name: Heinrich Scholz
type: Person
type: Thing

http://www.aktors.org/ontology/date#1952
year-of: 1952
type: Calendar-Date
type: Thing

Curry52
has-web-address: http://projecteuclid.org/euclid.jsl/1183731315
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
type: Thing
has-title: The System LD.
has-volume: 17

Mostowski52
has-web-address: http://projecteuclid.org/euclid.jsl/1183731313
has-title: On Direct Products of Theories.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
type: Thing
has-volume: 17

Rose52
has-date: http://www.aktors.org/ontology/date#1952
has-title: An Extension of Computational Logic.
type: Thing
type: Article-Reference
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731314

http://dblp.rkbexplorer.com/id/people-ea1112a4a248bd66920480cf7a6ea800-5b990823fd47486dfacbeb105b572624
full-name: John C. Shepherdson
type: Person
type: Thing

Kalicki52
type: Thing
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952
has-title: A Test for the Equality of Truth-Tables.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731426
type: Article-Reference

Kalicki52
has-title: A Test for the Equality of Truth-Tables.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731426
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17
type: Thing

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-0f1dffbe9c862c373f976a0d9ff19015
full-name: Haskell B. Curry
type: Person
type: Thing

Shaw-Kwei52
type: Thing
has-volume: 17
has-title: A Note on the Theory of Quantification.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731480
has-date: http://www.aktors.org/ontology/date#1952

Shaw-Kwei52
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731480
has-title: A Note on the Theory of Quantification.
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-c931d64a9af991b7856a960c5e4527a0
full-name: Hao Wang
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-43daafd79e662a5936a1267907729eed-8d0d3e5e73990e5352f55eafd01e7aa8
full-name: Alan Rose
type: Person
type: Thing

CraigQ52
has-web-address: http://projecteuclid.org/euclid.jsl/1183731429
type: Thing
has-title: On Reduction to a Symmetric Relation.
type: Article-Reference
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952

Kreisel52
has-volume: 17
has-title: On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731316
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952

Kreisel52
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731316
has-title: On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
has-volume: 17

Rosser52
has-date: http://www.aktors.org/ontology/date#1952
type: Article-Reference
type: Thing
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731479
has-title: The Axiom of Infinity in Quine's New Foundations.

Myhill52
has-title: A Finitary Metalanguage for Extended Basic Logic.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731427

Myhill52
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
has-title: A Finitary Metalanguage for Extended Basic Logic.
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731427
type: Thing

Shepherdson52
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731478
has-date: http://www.aktors.org/ontology/date#1952
type: Thing
has-title: Inner Models for Set Theory--Part II.
type: Article-Reference

Shepherdson52
has-title: Inner Models for Set Theory--Part II.
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731478
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
type: Thing

http://dblp.rkbexplorer.com/id/people-9a896d46d5f6788425474eca0e1d3859-270d49d9d54bb4a6e1e6ec43b0a710e3
full-name: Jan Kalicki
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-6596aa15945f62f65dec58d6f24a0f67-fde779297430f8ba193734488f426f7e
full-name: John R. Myhill
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-73d4998797684991e2a28852bdeb9610
full-name: Haskell B. Curry
type: Person
type: Thing

Wang52
has-web-address: http://projecteuclid.org/euclid.jsl/1183731372
has-volume: 17
has-title: Logic of Many-Sorted Theories.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1952

Curry52c
type: Thing
type: Article-Reference
has-volume: 17
has-title: The Elimination Theorem When Modality is Present.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731482
has-date: http://www.aktors.org/ontology/date#1952

http://dblp.rkbexplorer.com/id/people-3889c133982d379ec756458621ebb361-e6c9ec32929c03662abb2363305fa140
full-name: James Willard Oliver
type: Person
type: Thing

Curry52
has-title: The System LD.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731315
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
type: Thing
has-volume: 17

http://dblp.rkbexplorer.com/id/people-865a60b32c1509e01b559f3f2ac8e491-eda0b11544bb21984ecfaecd5a083abf
full-name: G. Hasenjaeger
type: Person
type: Thing

Oliver52
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731418
type: Thing
type: Article-Reference
has-title: Fourteenth Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1952

Curry52c
has-web-address: http://projecteuclid.org/euclid.jsl/1183731482
has-title: The Elimination Theorem When Modality is Present.
type: Thing
type: Article-Reference
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952

Goodman52
type: Article-Reference
has-title: New Notes on Simplicity.
type: Thing
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731430

Goodman52
type: Article-Reference
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731430
has-date: http://www.aktors.org/ontology/date#1952
has-title: New Notes on Simplicity.
type: Thing

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-7e6bb2ab28008de4b10fce9f909cf3ea
full-name: W. V. Quine
type: Person
type: Thing

Oliver52
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731418
has-title: Fourteenth Meeting of the Association for Symbolic Logic.
type: Article-Reference
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952

DBLP : dblp-publications.rdf
title: DBLP : dblp-publications-1952.rdf
creator: ReSIST Project
creator: Christopher Franklin
description: This ontology contains information detailing publications from dblp
type: Thing
type: Ontology
imports: extension
imports: portal

Rose52
has-volume: 17
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
has-title: An Extension of Computational Logic.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731314

http://dblp.rkbexplorer.com/id/people-b60532336ff81c263727d0aa7b517792-7de2d4a1e166f16665a5e895d44502cc
full-name: Andrzej Mostowski
type: Person
type: Thing

Myhill52a
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731431
has-title: A Derivation of Number Theory from Ancestral Theory.
type: Article-Reference

Myhill52a
has-title: A Derivation of Number Theory from Ancestral Theory.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731431
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17

Curry52b
type: Thing
has-title: The Permutability of Rules in the Classical Inferential Calculus.
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731481
has-volume: 17
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-cfb905c0c54f001aeff78f08fc39871c
full-name: W. V. Quine
type: Person
type: Thing

Curry52b
has-web-address: http://projecteuclid.org/euclid.jsl/1183731481
type: Article-Reference
has-title: The Permutability of Rules in the Classical Inferential Calculus.
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17

ScholzKH52
has-title: Problems.
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731419
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17

ChurchQ52
has-date: http://www.aktors.org/ontology/date#1952
has-web-address: http://projecteuclid.org/euclid.jsl/1183731428
type: Thing
has-title: Some Theorems on Definability and Decidability.
type: Article-Reference
has-volume: 17

Wang52
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731372
has-volume: 17
has-title: Logic of Many-Sorted Theories.

http://dblp.rkbexplorer.com/id/people-f93f8226e290dd841e3f90021f5a21b8-7e6bb2ab28008de4b10fce9f909cf3ea
full-name: Alonzo Church
type: Person
type: Thing

ScholzKH52
has-web-address: http://projecteuclid.org/euclid.jsl/1183731419
has-volume: 17
has-date: http://www.aktors.org/ontology/date#1952
has-title: Problems.
type: Thing
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-76fbbea3ebd4d719537e1d24d578960b
full-name: Haskell B. Curry
type: Person
type: Thing

Curry52a
has-date: http://www.aktors.org/ontology/date#1952
type: Article-Reference
type: Thing
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731371
has-title: On the Definition of Negation by a Fixed Proposition in Inferential Calculus.

Mostowski52
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1952
has-title: On Direct Products of Theories.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731313
has-volume: 17

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-51042056b89c72f0c9383364aa613080
full-name: Leon Henkin
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-6596aa15945f62f65dec58d6f24a0f67-33ac65435a39eb1a163feb31bbcdeeb1
full-name: John R. Myhill
type: Person
type: Thing

Curry52a
has-web-address: http://projecteuclid.org/euclid.jsl/1183731371
type: Thing
has-date: http://www.aktors.org/ontology/date#1952
has-volume: 17
has-title: On the Definition of Negation by a Fixed Proposition in Inferential Calculus.
type: Article-Reference

Hasenjaeger52
type: Thing
has-volume: 17
has-web-address: http://projecteuclid.org/euclid.jsl/1183731370
has-title: Über omega-Unvollständigkeit in der Peano-Arithmetik.
has-date: http://www.aktors.org/ontology/date#1952
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-51ca2eb995c20da1067a0f20de64465d
full-name: Haskell B. Curry
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-212aed60723197144766d19022ab05c6-51042056b89c72f0c9383364aa613080
full-name: G. Kreisel
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a9c0ed5df9ebca05c59ff44ff644f694-c33bd8f83c1824c2a798a1be3d2fb90c
full-name: Moh Shaw-Kwei
type: Person
type: Thing