5 problems

In the inferentialist logical basis, base rules are defined for atoms of the form $\langle p,\mathfrak{b}\rangle$, where $p$ is a propositional or predicate atom and $\mathfrak{b}$…

The paper distinguishes information-as-correlation, information-as-range, and information-as-code as different aspects of information. Its approach treats information-as-correlatio…

Let $\mathsf{L}$ be a system of proof rules, let $\mathbf{J}$ be a procedure on proof structures, let $\mathscr{B}$ be a base, and let $\Phi$ be a proof structure. In Prawitz's set…

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…