scientific article
From MaRDI portal
Publication:3838821
zbMath0903.03009MaRDI QIDQ3838821
Publication date: 5 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationdecidabilityintuitionistic logicintuitionistic propositional logicdecision proceduresconstructive proofsprogram correctnesscounter-modelconstruction of derivations
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
A unified procedure for provability and counter-model generation in minimal implicational logic ⋮ Optimization techniques for propositional intuitionistic logic and their implementation
This page was built for publication:
