Calculus of logic

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A minimum calculus for logic.Frederic B. Fitch - 1944 - Journal of Symbolic Logic 9 (4):89-94.
A Minimum Calculus for Logic.Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (4):127-128.
Logic as calculus and logic as language.Jean Heijenoort - 1967 - Synthese 17 (1):324 - 330.
Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
Review: Frederic B. Fitch, A Minimum Calculus for Logic. [REVIEW]George D. W. Berry - 1946 - Journal of Symbolic Logic 11 (4):127-128.
Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?Jan von Plato - 2021 - Philosophia Scientiae 25:35-47.
Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?Jan von Plato - 2021 - Philosophia Scientiae 25:35-47.
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
Peirce’s Diagrammatic Logic and the Opposition between Logic as Calculus vs. Logic as Universal Language.Legris Javier - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1095-1114.
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.Jan Woleński - 2012 - Logica Universalis 6 (3-4):587-596.

Analytics

Added to PP
2009-01-28

Downloads
23 (#671,645)

6 months
3 (#1,207,210)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

B. R. George
University of California, Los Angeles (PhD)

Citations of this work

Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.
George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references