A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
From MaRDI portal
Publication:877883
DOI10.1007/s10817-006-9045-yzbMath1121.03020MaRDI QIDQ877883
Domenico Cantone, Marianna Nicolosi-Asmundo
Publication date: 4 May 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-006-9045-y
03B35: Mechanization of proofs and logical operations
Uses Software