Pages that link to "Item:Q5096142"

The following pages link to A first order logic for partial functions (Q5096142):

Displaying 16 items.

• Classical logic with partial functions (Q438568) (← links)
• First-order logic and first-order functions (Q497872) (← links)
• A functional partial semantics for intensional logic (Q689211) (← links)
• A first order theory of functional parthood (Q878233) (← links)
• A first order logic for partial functions (Q918965) (← links)
• The connection between two ways of reasoning about partial functions (Q963419) (← links)
• Extending a first order predicate calculus with partially defined iota terms (Q998105) (← links)
• Partial logics reconsidered: A conservative approach (Q1261311) (← links)
• The completeness of functional logic (Q1318282) (← links)
• Partial instantiation methods for inference in first-order logic (Q1610676) (← links)
• Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
• Completeness of a cut-free calculus with equality and function constants (Q3712336) (← links)
• A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems (Q3800000) (← links)
• (Q3835445) (← links)
• Adapting Calculational Logic to the Undefined (Q4269811) (← links)
• A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)