A cute quati.

Online system for checking permutation of sequent calculus rules.
Developed by: Giselle Reis, Vivek Nigam and Leonardo Lima
Contact: giselle [at] logic [dot] at or leonardo [dot] alfs [at] gmail [dot] com
Based on the theoretical work: Checking Proof Transformations with ASP [pdf|presentation]- Vivek Nigam, Giselle Reis and Leonardo Lima
This web-interface provides only limited functionality. The full system can be downloaded here.


Menu

Render the inference rules of the specified system.



I want to check whether the rule permutes over the rule
PS: You can drag this window around and keep it open for a quick reference.