A decision procedure for propositional N-Prolog
From MaRDI portal
Publication:5053010
DOI10.1007/BFB0038697zbMath1502.68067MaRDI QIDQ5053010
Publication date: 26 November 2022
Published in: Extensions of Logic Programming (Search for Journal in Brave)
Logic in computer science (03B70) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: A decision procedure for propositional N-Prolog
