http://dblp.rkbexplorer.com/id/people-d624ad62c2e236230107df0a81e54eb4-6a879dd5dd1d92e5625f9ade620cf907
full-name: Ruth Barcan Marcus
type: Person
type: Thing

Shannon53b
has-title: The lattice theory of information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rose53a
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731642
type: Thing
has-title: The M-Valued Calculus of Non-Contradiction.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-2c46978b297ab4c24ece83d25bd91eba-4e6e21a91df423f03064aebf1ea57fae
full-name: J. Richard Büchi
type: Person
type: Thing

Gold53
has-title: Hearing.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Wang53a
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731622
type: Article-Reference
has-volume: 18
has-title: Problems.
has-date: http://www.aktors.org/ontology/date#1953

Cochran53
has-title: Sampling Techniques
has-date: http://www.aktors.org/ontology/date#1953
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-bb2632faadf508e737833c2215cbe5d1-424aa7211a9ae53d3f15c7ae51cb4ba4
full-name: J. A. V. Bates
type: Person
type: Thing

Hick53
has-title: Information theory in psychology.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Davis53
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731539
type: Article-Reference
has-volume: 18
has-title: Arithmetical Problems and Recursively Enumerable Predicates.
has-date: http://www.aktors.org/ontology/date#1953

Cochran53
has-title: Sampling Techniques
has-date: http://www.aktors.org/ontology/date#1953
type: Book-Reference
type: Thing

Myhill53b
has-volume: 18
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731600
has-title: Arithmetic with Creative Definitions by Induction.

Kemeny53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731707
type: Article-Reference
type: Thing
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
has-title: A Logical Measure Function.

Wang53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731541
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-volume: 18
has-title: Certain Predicates Defined by Induction Schemata.
type: Article-Reference

Uttley53
has-title: Information, machines, and brains.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-1dd63ae794d7946d28b20ae18004e7a9-30e017cb4a02c2a9de4e33328328402c
full-name: Martin Davis
type: Person
type: Thing

Uttley53a
has-title: Discussion on Dr. A.M. Uttley's paper 'Information, Machines, and Brains'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-f58b5237b98fe3b4fb6a0fef58dd99fb-e48a06c4c7e69204dbbc90920aae91b6
full-name: W. Grey Walter
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a27c764a78cbae1149267d5b161cab6f-effd22e4ed1a6694e4be0f264a30b870
full-name: W. E. Hick
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-cf3eb2309584910d7159031161926450-0c9d2994b9faeb3be20ca90c8029be15
full-name: Theodore Hailperin
type: Person
type: Thing

MacKay53a
has-title: Quantal aspects of scientific information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

MacKay53b
has-title: Entropy, time and information (Introduction to discussion).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

LAbbe53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731638
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
type: Thing
has-title: Systems of Transfinite Types Involving lambda-Conversion.
has-volume: 18

Quine53
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: On omega;-Inconsistency and a So-Called Axiom of Infinity.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731601

http://dblp.rkbexplorer.com/id/people-dddee9b4b807906435979e66e4be04e9-1d3211557e09d1a14ac09a3ca494baa1
full-name: D. Gabor
type: Person
type: Thing

McKinsey53
has-title: Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731598
type: Thing
type: Article-Reference
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953

Woodward53a
has-title: Discussion on Mr. P.M. Woodward's paper on 'Theory of Radar Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-9f5f00d85c6fee731c705bc36f434788-767e957147dfcd71418cfe15a0020312
full-name: A. M. Uttley
type: Person
type: Thing

Prior53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731597
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
type: Thing
has-title: On Propositions Neither Necessary Nor Impossible.

Gabor53b
has-title: Discussion on Dr. Gabor's Paper on 'Communication Theory and Physics'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-c99e467ad4c48c63fc6cd980ef3aa0cd-b183baad9702204c859811b079318dab
full-name: Leo Simons
type: Person
type: Thing

Fitch53
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731709
has-title: A Simplification of Basic Logic.

Shannon53c
has-title: Discussion on Dr. Shannon's papers.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Buchi53
has-volume: 18
has-title: Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731602
type: Thing
type: Article-Reference

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

Henkin53
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731537
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
has-title: Some Notes on Nominalism.

Hick53a
has-title: Discussion on Dr. W.E. Hick's paper 'Information Theory in Psychology'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-09db1a2fcd8fec799ae93f9a88b7fed7-a3d07b074fcda5f3d176eed8421980d2
full-name: Robert L. Stanley
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-dddee9b4b807906435979e66e4be04e9-918c7e5f953b71fd577a8d72cc8b428c
full-name: D. Gabor
type: Person
type: Thing

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

http://dblp.rkbexplorer.com/id/people-9f5f00d85c6fee731c705bc36f434788-6ebffabdde1fd0f1bfce97f52cc6329d
full-name: A. M. Uttley
type: Person
type: Thing

Shepherdson53
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-title: Inner Models for Set Theory - Part III.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731604
has-volume: 18

Marcus53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731641
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-volume: 18
type: Article-Reference
has-title: Strict Implication, Deducibility and the Deduction Theorem.

Gabor53
has-title: Communication theory, past, present and prospective.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Stanley53a
type: Article-Reference
has-volume: 18
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731640
has-date: http://www.aktors.org/ontology/date#1953
has-title: Note on a Paradox.

http://dblp.rkbexplorer.com/id/people-cd0d40aaff83d6d1f2d984ddf38f62ab-78d39e3451791bcc09b9bdd090c6ec8a
full-name: Claude E. Shannon
type: Person
type: Thing

MacDonald53a
has-title: Discussion on Dr. D.K.C. Macdonald's paper on 'Fluctuations and the theory of noise'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Bernays53
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731759
has-title: Problems.
type: Thing
type: Article-Reference
has-volume: 18

Myhill53
has-volume: 18
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731535
type: Article-Reference
has-title: Criteria of Constructibility for Real Numbers.

Bartlett53
has-title: The statistical approach to the analysis of time-series.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-1117bf4451898fa71ef672bdacd6c8c6-5ca0bbca48c7abbfb281bc084d71c228
full-name: A. N. Prior
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7b54a069a239d2f000ee2aa03c793428-2edf272e3b1e71f4c65cc50e6bd988eb
full-name: Shen Yuting
type: Person
type: Thing

Martin53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731536
has-volume: 18
has-title: On Truth and Multiple Denotation.
type: Article-Reference

Lob53
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-volume: 18
has-title: Concatenation as Basis for a Complete System of Arithmetic.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731534

Myhill53a
has-title: On the Interpretation of the Sign 'subset of'.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731542
type: Thing
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953

MacKay53d
has-title: Discussion on Mr. Mackay's paper 'Entropy, Time and Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Slater53a
has-title: Discussion on Dr. E. Slater's paper on 'Statistics for the Chess Computor and the Factor of Mobility'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Bates53a
has-title: Significance of information theory to neurophysiology.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Chomsky53
has-volume: 18
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-title: Systems of Syntactic Analysis.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731643

Walter53
has-title: Possible features of brain function and their imitation.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Westcott53
has-title: Criteria of prediction and discrimination.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-dddee9b4b807906435979e66e4be04e9-6bebe1ed5af6fbd354bc15cddface5a9
full-name: D. Gabor
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-88b26234e226edf16d7835eb4b628295-6b8150265a9660585dfd1c0583f55fef
full-name: E. Colin Cherry
type: Person
type: Thing

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

Craig53
has-volume: 18
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731538
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-title: On Axiomatizability Within a System.

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

Shepherdson53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731604
type: Thing
type: Article-Reference
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
has-title: Inner Models for Set Theory - Part III.

McNaughton53
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731603
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-title: Some Formal Relative Consistency Proofs.
type: Article-Reference

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

Prior53
type: Article-Reference
has-volume: 18
has-date: http://www.aktors.org/ontology/date#1953
has-title: On Propositions Neither Necessary Nor Impossible.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731597
type: Thing

Buchi53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731602
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
has-title: Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.
type: Thing
has-volume: 18

http://dblp.rkbexplorer.com/id/people-e6658038723807e99f992c7444ee40d7-c5fe874f17e12e12da6e44272dbaa46d
full-name: J. H. Westcott
type: Person
type: Thing

Hick53
has-title: Information theory in psychology.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Gold53a
has-title: Discussion on Dr. T. Gold's paper on 'Hearing'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Shannon53c
has-title: Discussion on Dr. Shannon's papers.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Bates53
has-title: Glossary of physiological terms.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Shannon53a
has-title: General treatment of the problem of coding.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Marcus53
has-volume: 18
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-title: Strict Implication, Deducibility and the Deduction Theorem.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731641
type: Article-Reference

Wang53a
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731622
has-title: Problems.
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953

Stumpers53
has-title: A bibliography of Information Theory (communication theory-cybernetics).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 2
type: Article-Reference
type: Thing

Stanley53a
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731640
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-volume: 18
has-title: Note on a Paradox.

Bartlett53a
has-title: Discussion on Prof. M.S. Bartlett's paper on 'The Statistical Approach to the Analysis of Time-Series'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Myhill53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731535
type: Article-Reference
has-volume: 18
has-title: Criteria of Constructibility for Real Numbers.

Gottschalk53
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
type: Thing
has-title: The Theory of Quaternality.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731635
type: Article-Reference

Bartlett53
has-title: The statistical approach to the analysis of time-series.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Slater53a
has-title: Discussion on Dr. E. Slater's paper on 'Statistics for the Chess Computor and the Factor of Mobility'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-a27c764a78cbae1149267d5b161cab6f-9397b63367ee6b36f3d6e615d44cabec
full-name: W. E. Hick
type: Person
type: Thing

Bartlett53a
has-title: Discussion on Prof. M.S. Bartlett's paper on 'The Statistical Approach to the Analysis of Time-Series'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-0fc8852e12d34dd34d1bde68e86a15d9-888b3315da26fa3165f2d859e5fd6635
full-name: T. Gold
type: Person
type: Thing

Bates53a
has-title: Significance of information theory to neurophysiology.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Walter53
has-title: Possible features of brain function and their imitation.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-cd0d40aaff83d6d1f2d984ddf38f62ab-46077b69b70f45ee4460f68027bf9f14
full-name: Claude E. Shannon
type: Person
type: Thing

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

Stanley53
has-title: An Extended Procedure in Quantificational Logic.
has-volume: 18
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731596
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953

Stanley53
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: An Extended Procedure in Quantificational Logic.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731596

Uttley53a
has-title: Discussion on Dr. A.M. Uttley's paper 'Information, Machines, and Brains'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Hasenjaeger53
type: Article-Reference
has-title: Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe.
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731540
has-volume: 18

Martin53
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731536
has-title: On Truth and Multiple Denotation.
type: Thing
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-cd0d40aaff83d6d1f2d984ddf38f62ab-fa0e43cd5218bc71abbd7b15e72c0959
full-name: Claude E. Shannon
type: Person
type: Thing

Westcott53
has-title: Criteria of prediction and discrimination.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rose53
has-title: Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731543

MacKay53b
has-title: Entropy, time and information (Introduction to discussion).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

LAbbe53
has-date: http://www.aktors.org/ontology/date#1953
has-title: Systems of Transfinite Types Involving lambda-Conversion.
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731638
type: Article-Reference
type: Thing

MacKay53c
has-title: Discussion on Dr. Mackay's paper on 'Quantum Aspects of Scientific Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rushton53
has-title: The problem of the information which the brain receives from the eye (Abstr.).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-10721ca1b9a3c36f9e0b86af09d58a51-da9630600febffbad6cc8001c8d970bc
full-name: D. M. MacKay
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-9cc1c1dbd25f99c503e2d83e51988a5d-0fa5f29d91aacf8a84827faa40159e26
full-name: William G. Cochran
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-c4703875eeacd41fe7c5d5dbbaa8b229-c2227076ec9f6b2d9341d6c7380630f7
full-name: D. B. Fry
type: Person
type: Thing

Woodward53
has-title: Theory of radar information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Turquette53
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731623
has-title: Fifteenth Meeting of the Association for Symbolic Logic.
has-volume: 18

Fry53
has-title: Communication theory and linguistic theory.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

MacDonald53
has-title: Fluctuations and theory of noise.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

MacDonald53
has-title: Fluctuations and theory of noise.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Slater53
has-title: Statistics for the chess computer and the factor of mobility.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Fry53
has-title: Communication theory and linguistic theory.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

MacKay53
has-title: The nomenclature of information theory.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Cherry53
has-title: A history of the theory of information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Hasenjaeger53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731540
type: Article-Reference
has-volume: 18
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-title: Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe.

Gabor53a
has-title: Communication theory and physics.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Westcott53a
has-title: Discussion on Dr. J.H. Westcott's paper on 'Criteria of Prediction and Discrimination'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-0fc8852e12d34dd34d1bde68e86a15d9-63a62cef64b241c062fb7ea96712b6b3
full-name: T. Gold
type: Person
type: Thing

Turquette53
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731623
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-title: Fifteenth Meeting of the Association for Symbolic Logic.

Westcott53a
has-title: Discussion on Dr. J.H. Westcott's paper on 'Criteria of Prediction and Discrimination'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Shannon53a
has-title: General treatment of the problem of coding.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-bb2632faadf508e737833c2215cbe5d1-da618af65dd3e3c2cd998ece27b976f7
full-name: J. A. V. Bates
type: Person
type: Thing

Stumpers53
has-title: A bibliography of Information Theory (communication theory-cybernetics).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 2
type: Article-Reference
type: Thing

Myhill53b
has-web-address: http://projecteuclid.org/euclid.jsl/1183731600
has-title: Arithmetic with Creative Definitions by Induction.
type: Article-Reference
has-volume: 18
type: Thing
has-date: http://www.aktors.org/ontology/date#1953

McNaughton53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: Some Formal Relative Consistency Proofs.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731603
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-9d71448c693a6e71438c9727ff28fe7e-07c88f6a5661f55a7854b127865afc2a
full-name: D. K. C. MacDonald
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-8d89fba50fc59ced1d86890df3fa9094-2d8e977b43ac4ecba0e16096f71ac178
full-name: Philip M. Woodward
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-3bfca03097d7d6d31d314f43699e1225-e58bcfd3b251d60a1d57a34a692b8265
full-name: W. H. Gottschalk
type: Person
type: Thing

Bates53b
has-title: Discussion on Dr. J.A.V. Bate's paper 'Significance of Information Theory in Neurophysiology'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-a76707355a6bdbd09b5fcaf2fee48948-0ad8361c748ba565bc6360421a563e06
full-name: Noam Chomsky
type: Person
type: Thing

Gabor53
has-title: Communication theory, past, present and prospective.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

http://dblp.rkbexplorer.com/id/people-23d12dd387d1e0fd65ead4ab280db290-6dcd43fe46871a8f3b3e9b701686aa1d
full-name: R. L. Goodstein
type: Person
type: Thing

Craig53
type: Article-Reference
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731538
has-title: On Axiomatizability Within a System.
has-date: http://www.aktors.org/ontology/date#1953
type: Thing

Hick53a
has-title: Discussion on Dr. W.E. Hick's paper 'Information Theory in Psychology'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rushton53
has-title: The problem of the information which the brain receives from the eye (Abstr.).
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Yuting53
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731599
has-title: Paradox of the Class of All Grounded Classes.
type: Article-Reference
type: Thing
has-volume: 18

http://dblp.rkbexplorer.com/id/people-bb2632faadf508e737833c2215cbe5d1-81ce39cee4767eda24d9552f820b2935
full-name: J. A. V. Bates
type: Person
type: Thing

Myhill53a
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: On the Interpretation of the Sign 'subset of'.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731542
type: Article-Reference

Woodward53a
has-title: Discussion on Mr. P.M. Woodward's paper on 'Theory of Radar Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Uttley53
has-title: Information, machines, and brains.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

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

Chomsky53
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731643
has-date: http://www.aktors.org/ontology/date#1953
has-title: Systems of Syntactic Analysis.
has-volume: 18
type: Thing

http://dblp.rkbexplorer.com/id/people-a287f1da7a236676fe9a136254ccf1a8-51042056b89c72f0c9383364aa613080
full-name: Paul Bernays
type: Person
type: Thing

Lob53
has-title: Concatenation as Basis for a Complete System of Arithmetic.
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731534
type: Article-Reference

Simons53
type: Thing
has-title: New Axiomatizations of S3 and S4.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731708

MacKay53a
has-title: Quantal aspects of scientific information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Gold53
has-title: Hearing.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Slater53
has-title: Statistics for the chess computer and the factor of mobility.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-10721ca1b9a3c36f9e0b86af09d58a51-c0324b1768a5476bda763d791b409219
full-name: D. M. MacKay
type: Person
type: Thing

Gottschalk53
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: The Theory of Quaternality.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731635
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/journals-217cfffe355c93c594d426c7f753db18
has-title: IEEE Transactions on Information Theory
type: Journal
type: Thing

Cherry53a
has-title: Discussion on Mr. E.C. Cherry's paper on 'On the History of the Theory of Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Woodward53
has-title: Theory of radar information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Cherry53
has-title: A history of the theory of information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

MacKay53
has-title: The nomenclature of information theory.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-75c06e84769a6b7adfdeb455ee06acff-c84f96b8c6d2f5c9ad406410e525d419
full-name: F. Louis H. M. Stumpers
type: Person
type: Thing

Bernays53
type: Thing
type: Article-Reference
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731759
has-date: http://www.aktors.org/ontology/date#1953
has-title: Problems.

Gabor53a
has-title: Communication theory and physics.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Shannon53b
has-title: The lattice theory of information.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Shannon53
has-title: Communication theory - Exposition of fundamentals.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-10721ca1b9a3c36f9e0b86af09d58a51-05970ba91d00b1bb9a5000f3becc53cc
full-name: D. M. MacKay
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-36655742fde3df89a81fd7d22e64be39-9b2ecfc1e3e45e6dbeac4dfbdc264d28
full-name: M. H. Lob
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-09db1a2fcd8fec799ae93f9a88b7fed7-2f3d3ecad9b215cc7ca0d4ceb7659712
full-name: Robert L. Stanley
type: Person
type: Thing

Bates53b
has-title: Discussion on Dr. J.A.V. Bate's paper 'Significance of Information Theory in Neurophysiology'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rose53a
has-web-address: http://projecteuclid.org/euclid.jsl/1183731642
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-title: The M-Valued Calculus of Non-Contradiction.

http://dblp.rkbexplorer.com/id/people-30b8c3601bf33557a3a7106b23e12776-bdcb568df0fbd88e1e1f3f7d96c7ba45
full-name: John G. Kemeny
type: Person
type: Thing

Goodstein53
has-volume: 18
type: Thing
has-title: A Problem in Recursive Function Theory.
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731639
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-f1738b93939371cd281cac356dbf4159-39526f4ef5e3690e4572bd26212dbc2b
full-name: M. S. Bartlett
type: Person
type: Thing

Hailperin53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-title: Quantification Theory and Empty Individual-Domains.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731636
has-volume: 18
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-b9f2d0fc973b07e90619c4becdd99972-b1ba9f82bfb6211cc5949e50b84cc950
full-name: Eliot Slater
type: Person
type: Thing

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

Kemeny53
has-title: A Logical Measure Function.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731707
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18

MacKay53c
has-title: Discussion on Dr. Mackay's paper on 'Quantum Aspects of Scientific Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Rose53
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731543
has-title: Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
type: Article-Reference
has-volume: 18

MacKay53d
has-title: Discussion on Mr. Mackay's paper 'Entropy, Time and Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Gold53a
has-title: Discussion on Dr. T. Gold's paper on 'Hearing'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

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

Davis53
has-title: Arithmetical Problems and Recursively Enumerable Predicates.
has-volume: 18
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731539
type: Thing
has-date: http://www.aktors.org/ontology/date#1953

http://dblp.rkbexplorer.com/id/people-10721ca1b9a3c36f9e0b86af09d58a51-a046d7ea390257df1b684313b505978e
full-name: D. M. MacKay
type: Person
type: Thing

Henkin53a
type: Thing
type: Article-Reference
has-title: Banishing the Rule of Substitution for Functional Variables.
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731637
has-volume: 18

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

Goodstein53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731639
has-title: A Problem in Recursive Function Theory.

Yuting53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731599
has-title: Paradox of the Class of All Grounded Classes.
has-volume: 18
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
type: Thing

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

Henkin53a
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731637
has-title: Banishing the Rule of Substitution for Functional Variables.

http://dblp.rkbexplorer.com/id/people-e6658038723807e99f992c7444ee40d7-1e8d9a432c5e2317714a7ad8b74e4ba0
full-name: J. H. Westcott
type: Person
type: Thing

Wang53
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731541
has-title: Certain Predicates Defined by Induction Schemata.
type: Article-Reference
type: Thing
has-volume: 18

McKinsey53
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731598
has-volume: 18
has-title: Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.

Bates53
has-title: Glossary of physiological terms.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Cherry53a
has-title: Discussion on Mr. E.C. Cherry's paper on 'On the History of the Theory of Information'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Hailperin53
has-web-address: http://projecteuclid.org/euclid.jsl/1183731636
has-date: http://www.aktors.org/ontology/date#1953
has-title: Quantification Theory and Empty Individual-Domains.
has-volume: 18
type: Thing
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-b9f2d0fc973b07e90619c4becdd99972-45195454b291604a07e5b8a6888d728d
full-name: Eliot Slater
type: Person
type: Thing

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

http://dblp.rkbexplorer.com/id/people-1a1bdf4e264d5211c99c209b123f4856-66a25990aaf9ab57762e6bcc41947cfd
full-name: W. A. H. Rushton
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-10721ca1b9a3c36f9e0b86af09d58a51-67f947699278a4d6c1c9fe3e5cbb0c0f
full-name: D. M. MacKay
type: Person
type: Thing

Simons53
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 18
has-web-address: http://projecteuclid.org/euclid.jsl/1183731708
type: Thing
has-title: New Axiomatizations of S3 and S4.
type: Article-Reference

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

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

Shannon53
has-title: Communication theory - Exposition of fundamentals.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Henkin53
has-date: http://www.aktors.org/ontology/date#1953
has-web-address: http://projecteuclid.org/euclid.jsl/1183731537
type: Article-Reference
has-volume: 18
type: Thing
has-title: Some Notes on Nominalism.

Quine53
has-volume: 18
type: Article-Reference
has-title: On omega;-Inconsistency and a So-Called Axiom of Infinity.
has-date: http://www.aktors.org/ontology/date#1953
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731601

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

http://dblp.rkbexplorer.com/id/people-cd0d40aaff83d6d1f2d984ddf38f62ab-7830938588c40d29358e707d446cc84b
full-name: Claude E. Shannon
type: Person
type: Thing

Gabor53b
has-title: Discussion on Dr. Gabor's Paper on 'Communication Theory and Physics'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing

Fitch53
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1953
has-title: A Simplification of Basic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731709
has-volume: 18

MacDonald53a
has-title: Discussion on Dr. D.K.C. Macdonald's paper on 'Fluctuations and the theory of noise'.
has-date: http://www.aktors.org/ontology/date#1953
has-volume: 1
type: Article-Reference
type: Thing