Back to Results
First PageMeta Content



INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute
Add to Reading List

Document Date: 2017-10-24 13:14:13


Open Document

File Size: 771,75 KB

Share Result on Facebook
UPDATE