The calculus of terms

Mind 79 (313):1-39 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/mind/lxxix.313.1

Links

PhilArchive



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

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

The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Leonard, Goodman, and the development of the calculus of individuals.Marcus Rossberg - 2009 - In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
Inferentializing consequence.Jaroslav Peregrin - unknown
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.

Analytics

Added to PP
2009-01-28

Downloads
75 (#220,163)

6 months
17 (#147,509)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fred Sommers
Brandeis University

Citations of this work

Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.
Making Sense of Negative Properties.David Hommen - 2017 - Axiomathes 28 (1):81-106.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references