Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
From MaRDI portal
Publication:4722038
DOI10.2307/2273864zbMath0614.03015MaRDI QIDQ4722038
Publication date: 1987
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273864
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
03F55: Intuitionistic mathematics
03B40: Combinatory logic and lambda calculus
Related Items
Some generalizations to two systems of set theory based on combinatory logic, Equivalences between pure type systems and systems of illative combinatory logic, A weak absolute consistency proof for some systems of illative combinatory logic, Category theory based on combinatory logic
Cites Work
- A set of postulates for the foundation of logic
- Types in combinatory logic
- A generalised Kleene-Rosser paradox for a system containing the combinator K
- The inconsistency of certain formal logics
- A weak absolute consistency proof for some systems of illative combinatory logic
- A one axiom set theory based on higher order predicate calculus