A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

DOI10.1002/MALQ.19870330509MaRDI QIDQ3752367zbMATH OpenOpenAlexFDO

Authors Kosta Došen

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330509

zbMATH Keywords

sequent-systemsdecidability of intuitionistic and classical propositional logicstructure of Gentzen's sequent proofs

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07)

Recommendations

• Intuitionistic Decision Procedures Since Gentzen
• Bounds for cut elimination in intuitionistic propositional logic
• Gentzen sequent calculi for some intuitionistic modal logics
• scientific article; zbMATH DE number 48659
• Gentzen-like systems for partial propositional calculi. I. II

Cited in

(9)

• Gentzen-like systems for partial propositional calculi. I. II
• Contraction-free sequent calculi for intuitionistic logic
• scientific article; zbMATH DE number 3885877 (Why is no real title available?)
• Intuitionistic Decision Procedures Since Gentzen
• scientific article; zbMATH DE number 54580 (Why is no real title available?)
• scientific article; zbMATH DE number 5997435 (Why is no real title available?)
• scientific article; zbMATH DE number 48659 (Why is no real title available?)
• On Dummett's pragmatist justification procedure
• Bounds for cut elimination in intuitionistic propositional logic

This page was built for publication: A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

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