definition of disjunction familiar from System F and from Prawitz's thesis:

A parallel clause governs the existential quantifier, and ex falso quodlibet is captured by stipulating that just in case for every atom . Under these clauses, the choice of admissible bases -- whether the basis admits rules with discharge of hypotheses, and at what level -- determines which logic is captured by the support relation.

Soundness and completeness

Sandqvist showed that intuitionistic

1.Previous
3.Next