The following pages link to (Q2848053):
Displayed 6 items.
- Classical logic with partial functions (Q438568) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types (Q2864522) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Classical Logic with Partial Functions (Q5747762) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)