The following pages link to (Q5625151):
Displaying 13 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- What's right with a syntactic approach to theories and models? (Q907910) (← links)
- Synonymous logics (Q1404389) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← 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)
- Extension and interpretability (Q2658276) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Cylindric Algebras of First-Order Languages (Q4053652) (← links)
