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:

    “Not out of those, on whom systems of education have exhausted their culture, comes the helpful giant to destroy the old or to build the new, but out of unhandselled savage nature, out of terrible Druids and Berserkirs, come at last Alfred and Shakespeare.”
    —Ralph Waldo Emerson (1803–1882)