Proof Theory - Tableau Systems

Tableau Systems

Analytic tableaux apply the central idea of analytic proof from structural proof theory to provide decision procedures and semi-decision procedures for a wide range of logics.

Read more about this topic:  Proof Theory

Famous quotes containing the word systems:

    “Our little systems have their day;
    They have their day and cease to be:
    They are but broken lights of thee,
    And thou, O Lord, art more than they.”
    —Alfred Tennyson (1809–1892)