Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

arXiv

Miscellaneous

R. Matthes

Publication

Year of publication: 2020

Identifiers

ISSN: 23318422

Other: 2-s2.0-85106989535

Locators

Alternative Titles