Properties of a Logical System in the Calculus of Structures


The calculus of structures is a new framework for presenting logical systems. It is a generalisation of a traditional framework, the one-sided sequent calculus. One of the main features of the calculus of structures is that the inference rules are deep: they can be applied anywhere inside logical expressions. Rules in the sequent calculus are, in contrast… (More)


6 Figures and Tables

Cite this paper

@inproceedings{Tiu2001PropertiesOA, title={Properties of a Logical System in the Calculus of Structures}, author={Alwen Tiu and Steffen H{\"{o}lldobler and Alessio Guglielmi}, year={2001} }