All

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ...

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu...