scientific article; zbMATH DE number 3870631

zbMATH Open0546.68067MaRDI QIDQ3336725FDOQ3336725

Authors: Ketan D. Mulmuley 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3896333
• On the proof theory of the existence predicate
• Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
• The machinery of consistency proofs
• Mechanizing proofs with logical relations -- Kripke-style
• scientific article; zbMATH DE number 517064
• Recursive \(\omega\)-rule for proof systems
• Provably recursive functions of constructive and relatively constructive theories
• Explicit provability and constructive semantics

zbMATH Keywords

denotational semanticsdomainsrecursive predicatescpo's

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55)

Cited In (7)

• On the Symmetries of and Equivalence Test for Design Polynomials.
• Fully abstract submodels of typed lambda calculi
• Tactical theorem proving in program verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3336725)