2 problems

Prawitz's semantics concerns valid arguments in first-order intuitionistic logic: an inference rule is interpreted as logically valid when it satisfies the relevant semantic condit…

Let $\mathfrak{B}$ be an atomic base, and let an operation on grounds $phi$ have type $Gamma rhd alpha$. An operation on grounds is universal when it is an operation on grounds ove…