Propositional and predicate calculuses based on combinatory logic

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



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

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
2010-08-24

Downloads
20 (#563,504)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.

View all 9 citations / Add more citations

Similar books and articles

Incompleteness and the Barcan Formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Logic: An Introduction.Greg Restall - 2004 - Oxford, England: Routledge.
Illative Combinatory Logic Without Equality as a Primitive Predicate.M. W. Bunder - 1982 - Notre Dame Journal of Formal Logic 23 (1):62-70.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Set Theory Based on Combinatory Logic.Maarten Wicher Visser Bunder - 1969 - Groningen, V. R. B. --Offsetdrukkerij (Kleine Der a 3-4).
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.