Math: Logic and Foundations: Proof Theory: The Calculus of Structures

Home: Math: Logic and Foundations: Proof Theory:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Proof Theory: The Calculus of Structures

URL: http://alessio.guglielmi.name/res/cos/index.html

Description: The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people