Pages that link to "Item:Q5210785"
From MaRDI portal
The following pages link to A mechanization of strong Kleene logic for partial functions (Q5210785):
Displayed 7 items.
- The seven virtues of simple type theory (Q946569) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Classical Logic with Partial Functions (Q5747762) (← links)
- Eager Equality for Rational Number Arithmetic (Q6116359) (← links)