Hallden49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Results Concerning the Decision Problem of Lewis's Calculi S3 and S6.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730738
type: Article-Reference
type: Thing

Hall49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Word Problem for Semigroups with Two Generators.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730619
type: Article-Reference
type: Thing

Fitch49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Heine-Borel Theorem in Extended Basic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730565
type: Article-Reference
type: Thing

Martin49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on Nominalistic Syntax.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730736
type: Article-Reference
type: Thing

Levin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Computational Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730667
type: Article-Reference
type: Thing

Goodman49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: An Improvement in the Theory of Simplicity.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730737
type: Article-Reference
type: Thing

Hoo49
has-date: http://www.aktors.org/ontology/date#1949
has-title: m-Valued Sub-System of (m+n)-Valued Propositional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730670
type: Article-Reference
type: Thing

Bourbaki49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Foundations of Mathematics for the Working Mathematician.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730564
type: Article-Reference
type: Thing

Hallden49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Results Concerning the Decision Problem of Lewis's Calculi S3 and S6.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730738
type: Article-Reference
type: Thing

Goodman49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: An Improvement in the Theory of Simplicity.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730737
type: Article-Reference
type: Thing

Bourbaki49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Foundations of Mathematics for the Working Mathematician.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730564
type: Article-Reference
type: Thing

Zorn49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Eleventh Meeting of the Association for Symbolic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730607
type: Article-Reference
type: Thing

Nelson49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Constructible Falsity.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730566
type: Article-Reference
type: Thing

Specker49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Nicht Konstruktiv Beweisbare Satze Der Analysis.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730665
type: Article-Reference
type: Thing

Zipf49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Human Behaviour and the Principle of Least Effort: an Introduction to Human Ecology
type: Book-Reference
type: Thing

Zipf49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Human Behaviour and the Principle of Least Effort: an Introduction to Human Ecology
type: Book-Reference
type: Thing

Henkin49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Completeness of the First-Order Functional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730666
type: Article-Reference
type: Thing

Bergmann49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Syntactical Characterization of S5.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730668
type: Article-Reference
type: Thing

Myhill49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Note on an Idea of Fitch.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730669
type: Article-Reference
type: Thing

Zorn49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Eleventh Meeting of the Association for Symbolic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730607
type: Article-Reference
type: Thing

Nelson49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Constructible Falsity.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730566
type: Article-Reference
type: Thing

Hoo49
has-date: http://www.aktors.org/ontology/date#1949
has-title: m-Valued Sub-System of (m+n)-Valued Propositional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730670
type: Article-Reference
type: Thing

Myhill49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Note on an Idea of Fitch.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730669
type: Article-Reference
type: Thing

Robinson49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Definability and Decision Problems in Arithmetic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730618
type: Article-Reference
type: Thing

Specker49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Nicht Konstruktiv Beweisbare Satze Der Analysis.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730665
type: Article-Reference
type: Thing

Dienes49
has-date: http://www.aktors.org/ontology/date#1949
has-title: On Ternary Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730616
type: Article-Reference
type: Thing

Dienes49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: On an Implication Function in Many-Valued Systems of Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730617
type: Article-Reference
type: Thing

Dienes49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: On an Implication Function in Many-Valued Systems of Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730617
type: Article-Reference
type: Thing

RosserT49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on the Deductive Completeness of M-Valued Propositional Calculi.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730735
type: Article-Reference
type: Thing

RosserT49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on the Deductive Completeness of M-Valued Propositional Calculi.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730735
type: Article-Reference
type: Thing

Dienes49
has-date: http://www.aktors.org/ontology/date#1949
has-title: On Ternary Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730616
type: Article-Reference
type: Thing

Bergmann49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Syntactical Characterization of S5.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730668
type: Article-Reference
type: Thing

Fitch49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Heine-Borel Theorem in Extended Basic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730565
type: Article-Reference
type: Thing

Fitch49b
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Further Consistent Extension of Basic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730734
type: Article-Reference
type: Thing

Henkin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Fragments of the Propositional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730569
type: Article-Reference
type: Thing

Robinson49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Definability and Decision Problems in Arithmetic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730618
type: Article-Reference
type: Thing

Martin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on Nominalism and Recursive Functions.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730567
type: Article-Reference
type: Thing

Fitch49b
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Further Consistent Extension of Basic Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730734
type: Article-Reference
type: Thing

Henkin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Fragments of the Propositional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730569
type: Article-Reference
type: Thing

Hall49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Word Problem for Semigroups with Two Generators.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730619
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/wi/0081946
has-date: http://www.aktors.org/ontology/date#1949
has-title: Giants brains, or machines that think.
type: Book-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/wi/0081946
has-date: http://www.aktors.org/ontology/date#1949
has-title: Giants brains, or machines that think.
type: Book-Reference
type: Thing

Henkin49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Completeness of the First-Order Functional Calculus.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730666
type: Article-Reference
type: Thing

Goodman49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Logical Simplicity of Predicates.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730568
type: Article-Reference
type: Thing

Goodman49
has-date: http://www.aktors.org/ontology/date#1949
has-title: The Logical Simplicity of Predicates.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730568
type: Article-Reference
type: Thing

Martin49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on Nominalistic Syntax.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730736
type: Article-Reference
type: Thing

Fitch49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: On Natural Numbers, Integers, and Rationals.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730615
type: Article-Reference
type: Thing

Fitch49a
has-date: http://www.aktors.org/ontology/date#1949
has-title: On Natural Numbers, Integers, and Rationals.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730615
type: Article-Reference
type: Thing

Levin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: Computational Logic.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730667
type: Article-Reference
type: Thing

Martin49
has-date: http://www.aktors.org/ontology/date#1949
has-title: A Note on Nominalism and Recursive Functions.
has-volume: 14
has-web-address: http://projecteuclid.org/euclid.jsl/1183730567
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-388eb4051bcbaf546f483eeacf2bb055-8f3ddc492d38a579ce182f9d3be59b9b
full-name: Julia Robinson
type: Person

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

http://dblp.rkbexplorer.com/id/people-54206aa36343641621dd40cdad5c1665-950a3726a0e5b556dad5d4f7aa0e1b9c
full-name: David Nelson
type: Person

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-6b96c3fcba1252d72606828ad0e921f2
full-name: Leon Henkin
type: Person

http://dblp.rkbexplorer.com/id/people-cd9fafd96f369fda2329860bc87e9b55-04892832c500a16aa2c857157aae57b9
full-name: R. M. Martin
type: Person

http://dblp.rkbexplorer.com/id/people-cc09f6299e5052c0adaf29f99c84706d-f90cc69db8aaf71201261b4f26700e67
full-name: George Kingsley Zipf
type: Person

http://dblp.rkbexplorer.com/id/people-bdfd4ad7077852a157ff7782ae90b402-ad39e95e622f2192baccf07583abbb29
full-name: Zoltan Paul Dienes
type: Person

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

http://dblp.rkbexplorer.com/id/people-cd9fafd96f369fda2329860bc87e9b55-0ab9f1ca464c0519d5a88bdbd565293a
full-name: R. M. Martin
type: Person

http://dblp.rkbexplorer.com/id/people-f595913d20db9657f67654f743349428-5e1fcddbbf32a2db9c6cd39a98d6f0de
full-name: Tzu-Hua Hoo
type: Person

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

http://dblp.rkbexplorer.com/id/people-bdfd4ad7077852a157ff7782ae90b402-9786556e6fb3d0d5b17a6103c0176c6f
full-name: Zoltan Paul Dienes
type: Person

http://dblp.rkbexplorer.com/id/people-deebde8041bf392cff1bb0479ed7ee1c-2c3133335087aecc8fdc67238de4a8ee
full-name: N. Bourbaki
type: Person

http://dblp.rkbexplorer.com/id/people-08747f94d202e41d944c2991e9ca9ca4-3cced4b3ee2429ab9a1616b65f7ebc97
full-name: Gustav Bergmann
type: Person

http://dblp.rkbexplorer.com/id/people-e0995499fa8ae631f650edbb82449669-02eb8d6f8cc01e09da33823964b9a52a
full-name: Nathan P. Levin
type: Person

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

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

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

http://dblp.rkbexplorer.com/id/people-1c7a4e43c91697934a398c0afc6200da-c354c9a6b916394508b50c7e5a7bcf42
full-name: Edmund C. Berkeley
type: Person

http://dblp.rkbexplorer.com/id/people-82000bfeead9356a51c8f973fb5e7c83-d5ba1f7d1bacc79b64b73fb35ad1baa9
full-name: Ernst Specker
type: Person

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

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

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

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

http://dblp.rkbexplorer.com/id/people-069dc8f04c365a55c2de04d3e2fd39fe-4284e1d5f447b4d8fb509ca9f6280469
full-name: Marshall Hall Jr.
type: Person

http://dblp.rkbexplorer.com/id/people-49b3c02c4585b27a49e50317eb83e0ce-e3334b0064c1d17eb957afe822f94a9c
full-name: Max A. Zorn
type: Person

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

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-18e51391f7f397c7df10d91d444175f5
full-name: Leon Henkin
type: Person

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-2ca1c711ab28e6e9ed638d04eebad079
full-name: Frederic Brenton Fitch
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-1949.rdf
type: Ontology
imports: extension
imports: portal