Lowenheim40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Einkleidung der Mathematik in Schroderschen Relativkalkul.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183386762
type: Article-Reference
type: Thing

McKinsey40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Postulates for the Calculus of Binary Relations.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389100
type: Article-Reference
type: Thing

Hosiasson-Lindenbaum40
has-date: http://www.aktors.org/ontology/date#1940
has-title: On Confirmation.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389136
type: Article-Reference
type: Thing

LeonardG40
has-date: http://www.aktors.org/ontology/date#1940
has-title: The Calculus of Individuals and Its Uses.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183387804
type: Article-Reference
type: Thing

McKinsey40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Postulates for the Calculus of Binary Relations.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389100
type: Article-Reference
type: Thing

Lowenheim40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Einkleidung der Mathematik in Schroderschen Relativkalkul.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183386762
type: Article-Reference
type: Thing

LeonardG40
has-date: http://www.aktors.org/ontology/date#1940
has-title: The Calculus of Individuals and Its Uses.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183387804
type: Article-Reference
type: Thing

McKinsey40b
has-date: http://www.aktors.org/ontology/date#1940
has-title: A Correction to Lewis and Langford's Symbolic Logic.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389137
type: Article-Reference
type: Thing

McKinsey40b
has-date: http://www.aktors.org/ontology/date#1940
has-title: A Correction to Lewis and Langford's Symbolic Logic.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389137
type: Article-Reference
type: Thing

Church40
has-date: http://www.aktors.org/ontology/date#1940
has-title: A Formulation of the Simple Theory of Types.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183387805
type: Article-Reference
type: Thing

Hosiasson-Lindenbaum40
has-date: http://www.aktors.org/ontology/date#1940
has-title: On Confirmation.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389136
type: Article-Reference
type: Thing

McKinsey40a
has-date: http://www.aktors.org/ontology/date#1940
has-title: Proof That There are Infinitely Many Modalities in Lewis's System S2.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389103
type: Article-Reference
type: Thing

McKinsey40a
has-date: http://www.aktors.org/ontology/date#1940
has-title: Proof That There are Infinitely Many Modalities in Lewis's System S2.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389103
type: Article-Reference
type: Thing

Church40
has-date: http://www.aktors.org/ontology/date#1940
has-title: A Formulation of the Simple Theory of Types.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183387805
type: Article-Reference
type: Thing

QuineG40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Elimination of Extra-Logical Postulates.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389102
type: Article-Reference
type: Thing

Dugundji40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389138
type: Article-Reference
type: Thing

Polya40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Sur Les Types Des Propositions Composees.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389101
type: Article-Reference
type: Thing

Dugundji40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389138
type: Article-Reference
type: Thing

Polya40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Sur Les Types Des Propositions Composees.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389101
type: Article-Reference
type: Thing

QuineG40
has-date: http://www.aktors.org/ontology/date#1940
has-title: Elimination of Extra-Logical Postulates.
has-volume: 5
has-web-address: http://projecteuclid.org/euclid.jsl/1183389102
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-50cf394dd073fd50cd7cde0070532b35-68f0b4b0802c1724a136877b3206a2cc
full-name: G. Polya
type: Person

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

http://dblp.rkbexplorer.com/id/people-9fe2c7b19aa62877e25deb9f689d4e92-cb060b259213d5cfe8e7788772b3009b
full-name: Janina Hosiasson-Lindenbaum
type: Person

http://dblp.rkbexplorer.com/id/people-5957074769c82f9c02b58fe70800040a-0af36917dbe48bccb1813bee72dd1990
full-name: Leopold Lowenheim
type: Person

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-1d99438f5f57a51f3e3d70030939b351
full-name: J. C. C. McKinsey
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-1c3ad565134b0e58c4060c05057ba7f2-0079e279b6305035323bb68b5badbc27
full-name: Nelson Goodman
type: Person

http://dblp.rkbexplorer.com/id/people-14d5010b7ebd45a1d727766465d0f215-0079e279b6305035323bb68b5badbc27
full-name: Henry S. Leonard
type: Person

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-7e7613dec0504dfcb251bfbc57e9bc7a
full-name: J. C. C. McKinsey
type: Person

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

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-b729bb2957384278ae1ac9be3f004ec1
full-name: J. C. C. McKinsey
type: Person

http://dblp.rkbexplorer.com/id/people-09669eeff89bbfe5b421b90760d79a8b-38aae65acd8978b69779c0be2f50fb85
full-name: James Dugundji
type: Person

http://dblp.rkbexplorer.com/id/people-f93f8226e290dd841e3f90021f5a21b8-6a033125e9edd811ae19b1440b31c17b
full-name: Alonzo Church
type: Person

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