Proof theory

Judgment logicJudgment logic

Judgment logic

In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in the metalanguage. For example, typical…

6 years ago