Intermediate Logic - Definition

Definition

A superintuitionistic logic is a set L of propositional formulas in a countable set of variables pi satisfying the following properties:

  1. all axioms of intuitionistic logic belong to L;
  2. if F and G are formulas such that F and F → G both belong to L, then G also belongs to L (closure under modus ponens);
  3. if F(p1, p2, ..., pn) is a formula of L, and G1, G2, ..., Gn are any formulas, then F(G1, G2, ..., Gn) belongs to L (closure under substitution).

Such a logic is intermediate if furthermore

  1. L is not the set of all formulas.

Read more about this topic:  Intermediate Logic

Famous quotes containing the word definition:

    “One definition of man is “an intelligence served by organs.””
    —Ralph Waldo Emerson (1803–1882)

    “... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
    —George Eliot [Mary Ann (or Marian)

    “It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
    —Jane Adams (20th century)