scientific article; zbMATH DE number 2015404

zbMATH Open1032.03526MaRDI QIDQ4438235

Andrzej Indrzejczak

Publication date: 9 December 2003

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

zbMATH Keywords

natural deductionresolutionhybrid formal system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (2)

On the use of naturality in algorithmic resolution ⋮ The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Natural deduction 👍 👎
• Automated deduction by theory resolution 👍 👎
• Contextual Natural Deduction 👍 👎
• Resolution-based methods for modal logics 👍 👎
• Natural deduction as higher-order resolution 👍 👎
• Natural Deduction for Hybrid Logic 👍 👎
• Naturalizing Natural Deduction 👍 👎

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 Q4438235)