Proof search in classical propositional logic with partial proof terms

DOI10.1007/978-3-031-99536-1_18MaRDI QIDQ6876449zbMATH OpenFDO

Authors José Espírito Santo, Ana Catarina Sousa

Publication date 13 January 2026

zbMATH Keywords

classical propositional logicfocusingproof searchintercalationpartial derivationpartial proof termproof state

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Proof search in classical propositional logic with partial proof terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6876449)