Implementation of a cut−free sequent calculus for logics with adjoint modalities
M. Sadrzadeh J. Kriener and R. Dyckhoff
Details
| Journal |
Computing Research Repository |
| Volume |
abs/0903.2448 |
| Year |
2009 |
Links
Related pages
|
People |