Extending resolution to resolution logics

DOI10.1080/09528139108915279zbMath0723.03004OpenAlexW1997853397MaRDI QIDQ3211281

Zbigniew Stachniak

Publication date: 1991

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139108915279

zbMATH Keywords

analysis of resolution proof systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

An essay on resolution logics

Cites Work

• Unnamed Item
• Completely non-clausal theorem proving
• Special relations in automated deduction

This page was built for publication: Extending resolution to resolution logics