New Sets of Postulates for Combinatory Logics

Journal of Symbolic Logic 7 (3):122-123 (1942)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269298

Links

PhilArchive



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

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

New sets of postulates for combinatory logics.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):18-27.
Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
Combinatory Logic and the Semantics of Substructural Logics.Lou Goble - 2007 - Studia Logica 85 (2):171-197.
E. R. Stabler. Sets of postulates for Boolean rings. The American mathematical monthly, vol. 48 , pp. 20–28.Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (3):102-102.
Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
On adding (ξ) to weak equality in combinatory logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Investigation into combinatory systems with dual combinators.Katalin Bimbó - 2000 - Studia Logica 66 (2):285-296.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luis Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references