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

DOI10.1002/malq.19870330509zbMath0612.03010OpenAlexW2015870579MaRDI QIDQ3752367

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)

Related Items (3)

Contraction-free sequent calculi for intuitionistic logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ 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