Switch to: Citations

References in:

Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

Journal of Symbolic Logic 52 (1):89-110 (1987)

Add references

You must login to add references.

Elements of Combinatory Logic.Bruce Lercher - 1974 - Journal of Symbolic Logic 41 (4):789-790.details Logic and Philosophy of Logic Direct download Export citation Bookmark 8 citations
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
A generalised Kleene-Rosser paradox for a system containing the combinator ${\bf K}$.M. W. Bunder - 1973 - Notre Dame Journal of Formal Logic 14 (1):53-54.details Liar Paradox in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 2 citations
Types in combinatory logic.Luis E. Sanchis - 1964 - Notre Dame Journal of Formal Logic 5 (3):161-180.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 3 citations
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.details Logic and Philosophy of Logic Direct download Export citation Bookmark 59 citations
A one axiom set theory based on higher order predicate calculus.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):99-107.details No categories Direct download Export citation Bookmark 3 citations

1