scientific article; zbMATH DE number 1753197

zbMath0995.03027MaRDI QIDQ4533383

Klaus Weich

Publication date: 10 June 2002

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

zbMATH Keywords

constructive type theoryintuitionistic propositional logicproof searchdecision procedures

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (2)

Classifying material implications over minimal logic ⋮ Intuitionistic Decision Procedures Since Gentzen

Uses Software

• Unnamed Item

This page was built for publication: