HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)

The Method CERES

The description of the cut-elimination method CERES cuts into the following sections:

This documentation is also available for download [pdf | ps].

Further Reading

Besides the publications in connection with the method CERES which are listed as references we provide the following material for download:

Note that some of these papers are not up to date (in the sense that they do not use the current formalisms or extensions) but still contain valuable information and details concerning the method and the system CERES.