×

zbMATH — the first resource for mathematics

Linking focusing and resolution with selection. (English) Zbl 1446.03099
MSC:
03F03 Proof theory, general (including proof-theoretic semantics)
03B35 Mechanization of proofs and logical operations
03F05 Cut-elimination and normal-form theorems
68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
PDF BibTeX XML Cite
Full Text: DOI