scientific article; zbMATH DE number 3349803
From MaRDI portal
Publication:5625151
zbMATH Open0221.02041MaRDI QIDQ5625151FDOQ5625151
Authors: Karel Louis de Bouvère 
Publication date: 1968
Title of this publication is not available (Why is that?)
Cited In (13)
- On \(\mathsf{Q}\)
- Quine's conjecture on many-sorted logic
- Synonymous theories and knowledge representations in answer set programming
- On generalization of definitional equivalence to non-disjoint languages
- Cylindric Algebras of First-Order Languages
- Glymour and Quine on theoretical equivalence
- Extension and interpretability
- On a synonymy relation for extensional first order theories. I: A notion of synonymy
- What's right with a syntactic approach to theories and models?
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Synonymous logics
- From geometry to conceptual relativity
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
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)
