scientific article; zbMATH DE number 3321243

MaRDI QIDQ5599795zbMATH OpenFDO

Authors Risto Hilpinen

Publication date 1966

Mathematics Subject Classification ID

General logic (03Bxx)

Recommendations

• Identification through Inductive Verification
• scientific article; zbMATH DE number 3910370
• Separation logic with monadic inductive definitions and implicit existentials
• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Logic Programming and Nonmonotonic Reasoning
• Types for Proofs and Programs
• scientific article; zbMATH DE number 4009811
• On the intuitionistic strength of monotone inductive definitions
• New algorithm for weak monadic second-order logic on inductive structures
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

Cited in

(3)

• Identification through Inductive Verification
• scientific article; zbMATH DE number 3910370 (Why is no real title available?)
• Short overview of the development of Hintikka's work in logic

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 Q5599795)