Pages that link to "Item:Q438568"
From MaRDI portal
The following pages link to Classical logic with partial functions (Q438568):
Displaying 8 items.
- A functional partial semantics for intensional logic (Q689211) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Partial logics reconsidered: A conservative approach (Q1261311) (← links)
- A typed logic of partial functions reconstructed classically (Q1338893) (← links)
- Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925) (← links)
- Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
- Classical logic as limit completion (Q4657754) (← links)
- A first order logic for partial functions (Q5096142) (← links)
