Extending resolution to resolution logics

DOI10.1080/09528139108915279zbMATH Open0723.03004OpenAlexW1997853397MaRDI QIDQ3211281FDOQ3211281

Authors: 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

Recommendations

• scientific article; zbMATH DE number 4027425
• scientific article; zbMATH DE number 683345
• Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
• scientific article; zbMATH DE number 1324434
• An essay on resolution logics

zbMATH Keywords

analysis of resolution proof systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Completely non-clausal theorem proving
• Special relations in automated deduction
• Title not available (Why is that?)

Cited In (7)

• An essay on resolution logics
• Title not available (Why is that?)
• Higher-Order Multi-Valued Resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verifying Refutations with Extended Resolution
• Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic

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

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