#nested_sequent_calculus
Nested sequent calculus
In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.
Tue 25th
Provided by Wikipedia
This keyword could refer to multiple things. Here are some suggestions:
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.