scientific article; zbMATH DE number 4210120

MaRDI QIDQ3358718zbMATH OpenFDO

Authors Antonio Gavilanes-Franco

Publication date 1990

zbMATH Keywords

Boolean-valued semanticscomplete sequent calculifirst-order \(\lambda \) \(\mu \) -calculuslogic of programspartial recursive functionsproof theorytableaux methodtyped functional language

Mathematics Subject Classification ID

Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Cut-elimination and normal-form theorems (03F05) Semantics in the theory of computing (68Q55)

Recommendations

• A first order logic for partial functions (extended abstract)
• A first order logic for partial functions
• On modal logics of partial recursive functions
• Partial functions in a total setting
• scientific article; zbMATH DE number 515734

Cited in

(12)

• Reductional programming of functions represented by recurrent relations of the first order
• A two-valued logic for properties of strict functional programs allowing partial functions
• A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems
• scientific article; zbMATH DE number 515734 (Why is no real title available?)
• Partiality and recursion in higher-order logic
• A first order logic for partial functions (extended abstract)
• Recursive Programs as Definitions in First-Order Logic
• Partial functions in a total setting
• On modal logics of partial recursive functions
• A first order theory of functional parthood
• A first order logic for partial functions
• Partial and nested recursive function definitions in higher-order 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 Q3358718)