Cut-free Sequent Calculi for Logics with Adjoint Modalities
Mehrnoosh Sadrzadeh and Roy Dyckhoff
Details
| Journal |
Bulletin of Symbolic Logic |
| Number |
1 |
| Pages |
128 |
| Volume |
15 |
| Year |
2009 |
Links
Related pages
|
People |