scientific article; zbMATH DE number 3349803
From MaRDI portal
Publication:5625151
Cited in
(18)- Synonymous logics
- On \(\mathsf{Q}\)
- From geometry to conceptual relativity
- Quine's conjecture on many-sorted logic
- On generalization of definitional equivalence to non-disjoint languages
- Glymour and Quine on theoretical equivalence
- Extension and interpretability
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Cylindric Algebras of First-Order Languages
- Synonymous theories and knowledge representations in answer set programming
- On a synonymy relation for extensional first order theories. I: A notion of synonymy
- When bi-interpretability implies synonymy
- What do symmetries tell us about structure?
- Testing definitional equivalence of theories via automorphism groups
- On Putnam's proof of the impossibility of a nominalistic physics
- The iterative notion of function and the iterative notion of set
- What's right with a syntactic approach to theories and models?
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5625151)
