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

DOI10.1002/MALQ.19870330509zbMATH Open0612.03010OpenAlexW2015870579MaRDI QIDQ3752367FDOQ3752367

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

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

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)

Cited In (9)

• Gentzen-like systems for partial propositional calculi. I. II
• Contraction-free sequent calculi for intuitionistic logic
• Title not available (Why is that?)
• Intuitionistic Decision Procedures Since Gentzen
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)