scientific article; zbMATH DE number 895271

MaRDI QIDQ4883282zbMATH OpenFDO

Authors Luís Pinto, Roy Dyckhoff

Publication date 27 October 1996

zbMATH Keywords

intuitionistic propositional logiccontraction-free sequent calculusKripke trees

Mathematics Subject Classification ID

Other model constructions (03C30) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(8)

• An evaluation-driven decision procedure for G3i
• Deciding intuitionistic propositional logic via translation into classical logic
• Terminating calculi and countermodels for constructive modal logics
• Intuitionistic Decision Procedures Since Gentzen
• Proofs and countermodels in non-classical logics
• A unified procedure for provability and counter-model generation in minimal implicational logic
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Proof-search in type-theoretic languages: An introduction

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