1 problem

Let $\mathbf{K}_{3}$ denote the strong Kleene logic, and let an extensive restriction category be equipped with an additional parallel composition operator such as finite joins. St…