Logical systems containing only a finite number of symbols

Montreal,: Presses de l'Université de Montréal (1967) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Logic and Philosophy of Logic

Logic and Philosophy of Logic, General Works in Logic and Philosophy of Logic

Logics in Logic and Philosophy of Logic

Philosophy of Mathematics

Keywords

Logic, Symbolic and mathematical

Reprint years

Call number

QA9.H42

View all bargains

Buy this book

Links

PhilArchive

Upload a copy of this work Papers currently archived: 91,423

External links

Available at Amazon.com

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.

Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..

The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.

Symbolic logic.John Venn - 1894 - New York,: B. Franklin.

The logical systems of Lesniewski.Eugene C. Luschei - 1962 - Amsterdam,: North-Holland Pub. Co..

Formal logic in finite terms..Alfred Leon Foster - 1931 - [Hamburg, Germany,: Printed by Lütcke & Wulff.

Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.

Retracing elementary mathematics.Leon Henkin - 1962 - New York,: Macmillan.

What Artificial Intelligence Needs From Symbolic Logic.John McCarthy - unknown

Analytics

Added to PP
2009-09-15

Downloads
1 (#1,889,095)

6 months
1 (#1,516,429)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.

How can I increase my downloads?

Citations of this work

The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.

On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.

On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.

The k-variable property is stronger than h-dimension K.Ian Hodkinson & András Simon - 1997 - Journal of Philosophical Logic 26 (1):81-101.

One-dimensional Fragment of First-order Logic.Lauri Hella & Antti Kuusisto - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 274-293.

Add more citations

References found in this work

No references found.

Add more references