scientific article; zbMATH DE number 517068

zbMATH Open0794.03075MaRDI QIDQ4282597FDOQ4282597

Authors: Mario Benevides 

Publication date: 28 August 1994

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

Recommendations

• Natural deduction for dual-intuitionistic logic
• Normal proofs, cut free derivations and structural rules
• A natural extension of natural deduction
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Substructural Logics in Natural Deduction

zbMATH Keywords

consistencycompletenessconsequence relationsfirst-order logicintuitionistic logicnatural deductioncut-elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

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