Pages that link to "Item:Q2377058"
From MaRDI portal
The following pages link to Decidability of general extensional mereology (Q2377058):
Displaying 9 items.
- A comprehensive picture of the decidability of mereological theories (Q383563) (← links)
- General extensional mereology is finitely axiomatizable (Q1790606) (← links)
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- Mereology then and now (Q2987747) (← links)
- Notes on models of first-order mereological theories (Q2987750) (← links)
- Classical mereology is not elementarily axiomatizable (Q2987752) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- A weak theory of building blocks (Q6589164) (← links)
