Logic of Combinatory Logic

Simona Kašterović, Silvia Ghilezan

We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presente…