First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 771,75 KBShare Document on Facebook |