Lewis36
has-date: http://www.aktors.org/ontology/date#1936
type: Article-Reference
has-volume: 1
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183142130
has-title: Emch's Calculus and Strict Implication.

Church36
type: Article-Reference
has-volume: 1
has-title: A Note on the Entscheidungsproblem.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183142088
has-date: http://www.aktors.org/ontology/date#1936

Fitch36
has-volume: 1
has-web-address: http://projecteuclid.org/euclid.jsl/1183142132
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1936
has-title: A System of Formal Logic Without an Analogue to the Curry W Operator.

Quine36a
has-web-address: http://projecteuclid.org/euclid.jsl/1183142100
has-volume: 1
type: Thing
type: Article-Reference
has-title: Set-Theoretic Foundations for Logic.
has-date: http://www.aktors.org/ontology/date#1936

Quine36
has-web-address: http://projecteuclid.org/euclid.jsl/1183142085
has-volume: 1
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1936
has-title: Toward a Calculus of Concepts.

http://dblp.rkbexplorer.com/id/people-522f23d136040babf9166451d3ca9678-6801eef534ddd313d1426db711f2815b
full-name: Arnold F. Emch
type: Person
type: Thing

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

Church36a
has-title: Correction to a Note on the Entscheidungsproblem.
has-date: http://www.aktors.org/ontology/date#1936
type: Thing
type: Article-Reference
has-volume: 1
has-web-address: http://projecteuclid.org/euclid.jsl/1183142133

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

Church36a
has-date: http://www.aktors.org/ontology/date#1936
has-volume: 1
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183142133
has-title: Correction to a Note on the Entscheidungsproblem.

Emch36a
has-title: Addendum to the Article Implication and Deducibility.
has-date: http://www.aktors.org/ontology/date#1936
type: Thing
has-volume: 1
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183142101

Ducasse36
has-volume: 1
has-title: List of Officers and Members of the Association for Symbolic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183142135
type: Thing
has-date: http://www.aktors.org/ontology/date#1936
type: Article-Reference

Rosser36
has-title: Constructibility as a Criterion for Existence.
has-volume: 1
has-web-address: http://projecteuclid.org/euclid.jsl/1183142087
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1936

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

Emch36a
has-volume: 1
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1936
has-web-address: http://projecteuclid.org/euclid.jsl/1183142101
has-title: Addendum to the Article Implication and Deducibility.
type: Thing

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

Post36
type: Thing
has-title: Finite Combinatory Processes-Formulation 1.
has-date: http://www.aktors.org/ontology/date#1936
has-web-address: http://projecteuclid.org/euclid.jsl/1183142134
type: Article-Reference
has-volume: 1

Emch36
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183142086
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1936
has-title: Implication and Deducibility.
has-volume: 1

http://dblp.rkbexplorer.com/id/people-522f23d136040babf9166451d3ca9678-1be7994811a5898ab5d7fb304cf6ccbf
full-name: Arnold F. Emch
type: Person
type: Thing

Ducasse36
has-web-address: http://projecteuclid.org/euclid.jsl/1183142135
type: Thing
has-volume: 1
has-date: http://www.aktors.org/ontology/date#1936
type: Article-Reference
has-title: List of Officers and Members of the Association for Symbolic Logic.

Rosser36
has-web-address: http://projecteuclid.org/euclid.jsl/1183142087
type: Article-Reference
type: Thing
has-volume: 1
has-date: http://www.aktors.org/ontology/date#1936
has-title: Constructibility as a Criterion for Existence.

Lewis36
has-volume: 1
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183142130
has-date: http://www.aktors.org/ontology/date#1936
type: Thing
has-title: Emch's Calculus and Strict Implication.

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

http://dblp.rkbexplorer.com/id/people-217aa162fc2903cd6aec36c9de65bb5f-3420ce7690e07d2c890526e29be26d98
full-name: Emil L. Post
type: Person
type: Thing

Fitch36
type: Article-Reference
type: Thing
has-title: A System of Formal Logic Without an Analogue to the Curry W Operator.
has-volume: 1
has-web-address: http://projecteuclid.org/euclid.jsl/1183142132
has-date: http://www.aktors.org/ontology/date#1936

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-2e8f04fe007eb221d26ac5705e05b369-e1a2b9c174015dab55187f33e6df471a
full-name: C. J. Ducasse
type: Person
type: Thing

Quine36
has-web-address: http://projecteuclid.org/euclid.jsl/1183142085
has-date: http://www.aktors.org/ontology/date#1936
type: Article-Reference
type: Thing
has-volume: 1
has-title: Toward a Calculus of Concepts.

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

Post36
has-web-address: http://projecteuclid.org/euclid.jsl/1183142134
type: Thing
has-volume: 1
type: Article-Reference
has-title: Finite Combinatory Processes-Formulation 1.
has-date: http://www.aktors.org/ontology/date#1936

Emch36
has-date: http://www.aktors.org/ontology/date#1936
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183142086
has-title: Implication and Deducibility.
type: Thing
has-volume: 1

Church36
has-title: A Note on the Entscheidungsproblem.
type: Thing
has-date: http://www.aktors.org/ontology/date#1936
has-volume: 1
has-web-address: http://projecteuclid.org/euclid.jsl/1183142088
type: Article-Reference

Quine36a
has-volume: 1
has-title: Set-Theoretic Foundations for Logic.
has-date: http://www.aktors.org/ontology/date#1936
has-web-address: http://projecteuclid.org/euclid.jsl/1183142100
type: Article-Reference
type: Thing

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

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

Rosser36a
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183142131
has-date: http://www.aktors.org/ontology/date#1936
has-volume: 1
has-title: Extensions of Some Theorems of Godel and Church.
type: Thing

Rosser36a
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1936
has-web-address: http://projecteuclid.org/euclid.jsl/1183142131
has-volume: 1
has-title: Extensions of Some Theorems of Godel and Church.
type: Thing

DBLP : dblp-publications.rdf
title: DBLP : dblp-publications-1936.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-f3d31862c2683035094896259da9db7f-a88c8b65cadde9b993a3d4b781c784d0
full-name: W. V. Quine
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-979fe3ecc6ecf310496403fce07352a7-3ffcdefa725d0f8695129a17412e7fd9
full-name: C. I. Lewis
type: Person
type: Thing