http://dblp.rkbexplorer.com/id/people-ae0562b0aa0bec4d05fb2ea27c3d3012-e5215e860c33190df753395207b70148
full-name: Raphael M. Robinson
type: Person
type: Thing

Fitch51
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731101
has-title: A Demonstrably Consistent Mathematics - Part II.
type: Thing
has-volume: 16
has-date: http://www.aktors.org/ontology/date#1951

LAbbe51
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-title: On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731041
has-volume: 16
type: Thing

Horn51
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951
has-title: On Sentences Which are True of Direct Unions of Algebras.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731038
has-volume: 16

MartinW51
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731160
type: Thing
has-volume: 16
has-title: Toward an Inscriptional Semantics.

Mostowski51
type: Article-Reference
has-volume: 16
has-title: On the Rules of Proof in the Pure Functional Calculus of the First Order.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731099
has-date: http://www.aktors.org/ontology/date#1951

http://dblp.rkbexplorer.com/id/people-95121a0cc6372b5eb3eaa8f8c7e210c3-2358580cca1f472160808dac0ebbaa1f
full-name: Clifford D. Firestone
type: Person
type: Thing

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

Firestone51
has-volume: 16
type: Article-Reference
type: Thing
has-title: Thirteenth Meeting of the Association for Symbolic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731212
has-date: http://www.aktors.org/ontology/date#1951

Myhill51a
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731104
has-title: Towards a Consistent Set-Theory.
has-volume: 16
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951

Myhill51a
has-volume: 16
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731104
has-title: Towards a Consistent Set-Theory.

Hallden51
has-web-address: http://projecteuclid.org/euclid.jsl/1183731103
type: Article-Reference
has-title: On the Semantic Non-Completeness of Certain Lewis Calculi.
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
type: Thing

LAbbe51
has-title: On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731041
type: Article-Reference
type: Thing
has-volume: 16

http://dblp.rkbexplorer.com/id/people-8782f1f6f08752ab2cba6d5e0ae18ce8-2e541dfdd7068b949bcd6921a7a9951e
full-name: Maurice L'Abbe
type: Person
type: Thing

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

McNaughton51
has-title: A Theorem About Infinite-Valued Sentential Logic.
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731037
type: Article-Reference
type: Thing
has-volume: 16

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

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

Horn51
type: Thing
has-volume: 16
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731038
has-title: On Sentences Which are True of Direct Unions of Algebras.

Mostowski51
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951
has-title: On the Rules of Proof in the Pure Functional Calculus of the First Order.
has-volume: 16
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731099

Rose51
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731161
has-volume: 16
type: Article-Reference
type: Thing
has-title: Strong Completeness of Fragments of the Propositional Calculus.

Firestone51
has-web-address: http://projecteuclid.org/euclid.jsl/1183731212
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-title: Thirteenth Meeting of the Association for Symbolic Logic.
type: Thing
has-volume: 16

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

Kreisel51
has-title: On the Interpretation of Non-Finitist Proofs - Part I.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731224
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
type: Article-Reference

Kreisel51
has-date: http://www.aktors.org/ontology/date#1951
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731224
has-title: On the Interpretation of Non-Finitist Proofs - Part I.
has-volume: 16
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-1cbfd970b10b3a38e284afe3440fc7f0-18e142b2aef0c77bfc7f4d30b47b7fff
full-name: J. H. Woodger
type: Person
type: Thing

Myhill51
has-title: Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
has-web-address: http://projecteuclid.org/euclid.jsl/1183731040

McNaughton51
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731037
has-title: A Theorem About Infinite-Valued Sentential Logic.

Myhill51
has-web-address: http://projecteuclid.org/euclid.jsl/1183731040
has-title: Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16

Robinson51
type: Thing
has-volume: 16
has-title: Arithmetical Definability of Field Elements.
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731102
type: Article-Reference

Shepherdson51
type: Thing
has-title: Inner Models for Set Theory - Part I.
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731159
type: Article-Reference
has-volume: 16

RosserT51
type: Article-Reference
has-title: Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731039
has-volume: 16
type: Thing

RosserT51
has-volume: 16
type: Article-Reference
has-title: Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.
has-date: http://www.aktors.org/ontology/date#1951
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731039

Scroggs51
has-date: http://www.aktors.org/ontology/date#1951
has-web-address: http://projecteuclid.org/euclid.jsl/1183731100
type: Article-Reference
type: Thing
has-title: Extensions of the Lewis System S5.
has-volume: 16

Scroggs51
has-web-address: http://projecteuclid.org/euclid.jsl/1183731100
type: Article-Reference
has-volume: 16
has-title: Extensions of the Lewis System S5.
type: Thing
has-date: http://www.aktors.org/ontology/date#1951

http://dblp.rkbexplorer.com/id/people-060d70e49a10342d80f2ba1e85834abe-ec3f463081336581032a75f5cbfff07a
full-name: Paul Lorenzen
type: Person
type: Thing

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

Fitch51
has-web-address: http://projecteuclid.org/euclid.jsl/1183731101
type: Thing
has-title: A Demonstrably Consistent Mathematics - Part II.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16

Shepherdson51
has-title: Inner Models for Set Theory - Part I.
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
type: Thing
has-volume: 16
has-web-address: http://projecteuclid.org/euclid.jsl/1183731159

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

http://dblp.rkbexplorer.com/id/people-abc068525abe5316e59c420358a9f7cd-17dc77601d868db2091905a457e3e83c
full-name: Schiller Joe Scroggs
type: Person
type: Thing

Robinson51
has-volume: 16
has-title: Arithmetical Definability of Field Elements.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731102
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1951

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

http://dblp.rkbexplorer.com/id/people-cd9fafd96f369fda2329860bc87e9b55-18e142b2aef0c77bfc7f4d30b47b7fff
full-name: R. M. Martin
type: Person
type: Thing

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

http://dblp.rkbexplorer.com/id/people-112fdd35ed1a30dcc6f01c2700270fb4-effb81a441f1464e5edc71a4815b6beb
full-name: Soren Hallden
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-ee052f52fbb1fa75584dbf9ba17b5f87-c8cfb25d56f0928e70c47f5d6d0f9803
full-name: Alfred Horn
type: Person
type: Thing

Rose51
type: Article-Reference
has-title: Strong Completeness of Fragments of the Propositional Calculus.
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
has-web-address: http://projecteuclid.org/euclid.jsl/1183731161

MartinW51
has-volume: 16
has-title: Toward an Inscriptional Semantics.
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731160
type: Thing

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-9135e6f93add2de9af9469d47bae893e
full-name: Frederic Brenton Fitch
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a3c4d230b0325434f6f2a06a1afa988b-41f9c82b1c1b227189b29994ccb36539
full-name: Atwell R. Turquette
type: Person
type: Thing

Lorenzen51
has-date: http://www.aktors.org/ontology/date#1951
type: Article-Reference
has-volume: 16
has-title: Algebraische und Logistische Untersuchungen Über Freie Verbände.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731098
type: Thing

http://dblp.rkbexplorer.com/id/people-9448aa17b3fd4db9680ab8e2c7539e6b-949043ef8f95e738872a7c3c0f8ba1d2
full-name: Robert McNaughton
type: Person
type: Thing

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

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

Hallden51
has-volume: 16
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1951
has-title: On the Semantic Non-Completeness of Certain Lewis Calculi.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731103

Lorenzen51
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731098
has-title: Algebraische und Logistische Untersuchungen Über Freie Verbände.
has-date: http://www.aktors.org/ontology/date#1951
has-volume: 16
type: Article-Reference