2 problems

Let $\models$ be the logical-consequence relation defined in the paper's monotonic proof-theoretic semantics, and let $\texttt{IL}$ denote intuitionistic logic. Completeness over…

Let $\mathscr{R}$ be an inference rule, let $\mathfrak{J}$ be a justification structure, and let logical validity relative to $\mathfrak{J}$ mean validity relative to…