scientific article
From MaRDI portal
Publication:2753600
zbMath0972.03526MaRDI QIDQ2753600
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (3)
Intuitionistic Decision Procedures Since Gentzen ⋮ Automating Theories in Intuitionistic Logic ⋮ 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:
