scientific article; zbMATH DE number 895271

zbMath0848.03002MaRDI QIDQ4883282

Luís Pinto, Roy Dyckhoff

Publication date: 27 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic propositional logiccontraction-free sequent calculusKripke trees

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication: