Pages that link to "Item:Q1790606"
From MaRDI portal
The following pages link to General extensional mereology is finitely axiomatizable (Q1790606):
Displaying 7 items.
- Analytic rules for mereology (Q300557) (← links)
- Decidability of general extensional mereology (Q2377058) (← links)
- Classical mereology is not elementarily axiomatizable (Q2987752) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)