The Logic of Calculation

Mathematical Logic Quarterly 23 (1‐6):45-58 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1977

DOI

10.1002/malq.19770230104

Other Versions

original Kearns, John T. (1977) "The Logic of Calculation". Mathematical Logic Quarterly 23(1-6):45-58

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

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

Through your library

My notes

Similar books and articles

John T. Kearns. Combinatory logic with discriminators. The journal of symbolic logic, vol. 34 , pp. 561–575.Jonathan P. Seldin - 1973 - Journal of Symbolic Logic 38 (2):339-340.
Calculation of an Order Type: An application of Non‐Standard Methods.Hilbert Levitz - 1982 - Mathematical Logic Quarterly 28 (14‐18):219-228.
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 , pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 , pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 , p. 158. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (1):137-138.
Distinct Modalities are not Equivalent in T.J. Czermak - 1976 - Mathematical Logic Quarterly 22 (1):123-125.
A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Mathematical Logic Quarterly 22 (1):29-34.
Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Mathematical Logic Quarterly 22 (1):261-264.
John T. Kearns, Using Language: The Structure of Speech-Acts. [REVIEW]Richard Vallée - 1985 - Philosophy in Review 5 (9):375-376.

Analytics

Added to PP
2013-11-24

Downloads
27 (#827,827)

6 months
5 (#1,047,105)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John T. Kearns
State University of New York, Buffalo

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Representation of Markov algorithms by combinators.H. B. Curry - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.), The Logical enterprise. New Haven: Yale University Press. pp. 109--119.
Mathematical Theory of Computation.Zohar Manna - 1979 - Journal of Symbolic Logic 44 (1):122-124.

Add more references