scientific article; zbMATH DE number 1301852
From MaRDI portal
Publication:4247075
zbMath0927.03016MaRDI QIDQ4247075
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculusdecidabilityconstructive type theoryclassical propositional logicproof development systemNuprl system
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)
Related Items (4)
Constructive Formalization of Hybrid Logic with Eventualities ⋮ Search algorithms in type theory ⋮ Constructive Membership Predicates as Index Types ⋮ Formally verified tableau-based reasoners for a description logic
Uses Software
This page was built for publication:
