scientific article; zbMATH DE number 549996

zbMATH Open0790.03011MaRDI QIDQ4287516FDOQ4287516

Authors: Zbigniew Stachniak 

Publication date: 22 June 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4182873
• Publication:3485886
• Resolution approximation of first-order logics
• scientific article; zbMATH DE number 1324434

zbMATH Keywords

non-classical logicsresolution principlefunctionally completepropositional logicsresolution logicsminimization algorithmsautomated generation of resolution based proof systemsŁukasiewicz finite- valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• An Introduction to Lower Bounds on Resolution Proof Systems
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

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