Pages that link to "Item:Q578934"
From MaRDI portal
The following pages link to A theorem on the consistency of circumscription (Q578934):
Displaying 10 items.
- On the consistency of consistent conjectures (Q374974) (← links)
- Circumscription: Completeness reviewed (Q685339) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- On the satisfiability of circumscription (Q1073786) (← links)
- Autocircumscription (Q1105394) (← links)
- A generalization of collapsible cases of circumscription (Q1115424) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- Abstract minimality and circumscription (Q1193477) (← links)
- Circumscription and implicit definability (Q1819950) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)