Some Inconsistencies in Illative Combinatory Logic

Mathematical Logic Quarterly 20 (13‐18):199-201 (1974)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

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

Through your library

Analytics

Added to PP
2013-11-24

Downloads
14 (#738,704)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Propositional and Predicate Calculuses Based on Combinatory Logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
A Deduction Theorem for Restricted Generality.M. W. Bunder - 1973 - Notre Dame Journal of Formal Logic 14 (3):341-346.
A Paradox in Illative Combinatory Logic.M. W. Bunder - 1970 - Notre Dame Journal of Formal Logic 11 (4):467-470.

Add more references

Citations of this work

The Inconsistency Of.M. W. Bunder - 1976 - Journal of Symbolic Logic 41 (2):467-468.
Variants of the Basic Calculus of Constructions.M. W. Bunder & Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):191-217.

Add more citations

Similar books and articles

Consistency Notions in Illative Combinatory Logic.M. W. Bunder - 1977 - Journal of Symbolic Logic 42 (4):527-529.
A Paradox in Illative Combinatory Logic.M. W. Bunder - 1970 - Notre Dame Journal of Formal Logic 11 (4):467-470.
Scott's Models and Illative Combinatory Logic.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):609-612.
$\lambda$-Elimination in Illative Combinatory Logic.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):628-630.
Illative Combinatory Logic Without Equality as a Primitive Predicate.M. W. Bunder - 1982 - Notre Dame Journal of Formal Logic 23 (1):62-70.
Significance and Illative Combinatory Logics.M. W. Bunder - 1980 - Notre Dame Journal of Formal Logic 21 (2):380-384.