## Sequent Calculus

Verifications

Verifications

Here we will talk about computational interpretations by the example of lax logic. Hope from the example we can have sense of how logic and PL are connected.

We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.