Pages that link to "Item:Q4194943"
From MaRDI portal
The following pages link to Properties Preserved under Definitional Equivalence and Interpretations (Q4194943):
Displayed 12 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Glymour and Quine on theoretical equivalence (Q2397813) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- A New Perspective on the Mereotopology of RCC8. (Q4580234) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
- MORITA EQUIVALENCE (Q5737954) (← links)