![](https://www.pdfsearch.io/img/313cdd25fb8e4922a42c02cdc2349aaa.jpg) Date: 2017-10-24 13:14:13
| | INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical InstituteAdd to Reading ListSource URL: wrm17.mi.ras.ruDownload Document from Source Website File Size: 771,75 KBShare Document on Facebook |