INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute - Mathematical logic - Document - PDFSEARCH.IO

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 Institute Add to Reading List Source URL: wrm17.mi.ras.ru Download Document from Source Website File Size: 771,75 KB Share Document on Facebook