Definition
A superintuitionistic logic is a set L of propositional formulas in a countable set of variables pi satisfying the following properties:
- all axioms of intuitionistic logic belong to L;
- 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);
- 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
- L is not the set of all formulas.
Read more about this topic: Intermediate Logic
Famous quotes containing the word definition:
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“... 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)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)