Functional Characters of Solvable Terms

, &
Mathematical Logic Quarterly 27 (2‐6):45-58 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810270205

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.
The Functional Completeness of Post's m‐Valued Propositional Calculus.Sally Barton - 1979 - Mathematical Logic Quarterly 25 (25‐29):445-446.
Generalised functional completeness of sets of m‐valued Sheffer functions.Alan Rose - 1984 - Mathematical Logic Quarterly 30 (12):177-182.
Normalization without reducibility.René David - 2000 - Annals of Pure and Applied Logic 107 (1-3):121-130.
The Computational Power of M^o^m^e^g^a.C. Rordam & D. Normann - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Typing untyped λ-terms, or reducibility strikes again!Jean Gallier - 1998 - Annals of Pure and Applied Logic 91 (2-3):231-270.
The Emptiness Problem for Intersection Types.Pawel Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus.Alan Rose - 1962 - Mathematical Logic Quarterly 8 (3‐4):257-266.
Universal Decision Elements in m‐Valued Logic.John Loader - 1972 - Mathematical Logic Quarterly 18 (13‐15):205-216.
Review: A. M. Turing, Solvable and Unsolvable Problems. [REVIEW]S. C. Kleene - 1955 - Journal of Symbolic Logic 20 (1):74-74.

Analytics

Added to PP
2013-11-24

Downloads
34 (#484,801)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
The emptiness problem for intersection types.Paweł Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
Strong Normalization and Typability with Intersection Types.Silvia Ghilezan - 1996 - Notre Dame Journal of Formal Logic 37 (1):44-52.
Normalization without reducibility.René David - 2000 - Annals of Pure and Applied Logic 107 (1-3):121-130.

View all 9 citations / Add more citations

References found in this work

The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.

Add more references