Switch to: Citations

References in:

A weak absolute consistency proof for some systems of illative combinatory logic

Journal of Symbolic Logic 48 (3):771-776 (1983)

Add references

You must login to add references.

Progress report on generalized functionality.Jonathan P. Seldin - 1979 - Annals of Mathematical Logic 17 (1):29.details Generalized Quantifiers in Philosophy of Language Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 5 citations
Illative combinatory logic without equality as a primitive predicate.M. W. Bunder - 1982 - Notre Dame Journal of Formal Logic 23 (1):62-70.details Equality in Social and Political Philosophy Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 1 citation
Propositional and predicate calculuses based on combinatory logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 9 citations

1