The following pages link to (Q4263009):
Displaying 6 items.
- A tableau-based decision procedure for a fragment of set theory with iterated membership (Q812437) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- (Q3002400) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- (Q4503906) (← links)
- (Q4663204) (← links)