Philosophy

Sequent Calculus

February 18, 2018 1 minute read

Verifications

Computational Interpretations

February 18, 2018 2 minute read

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.

Judgements and Propositions

February 18, 2018 1 minute read

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