scientific article; zbMATH DE number 3349803
From MaRDI portal
Publication:5625151
zbMath0221.02041MaRDI QIDQ5625151
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Glymour and Quine on theoretical equivalence ⋮ On a synonymy relation for extensional first order theories. I: A notion of synonymy ⋮ Extension and interpretability ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ Synonymous logics ⋮ On \(\mathsf{Q}\) ⋮ What's right with a syntactic approach to theories and models? ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Cylindric Algebras of First-Order Languages ⋮ On generalization of definitional equivalence to non-disjoint languages
This page was built for publication:
