DISTANCES BETWEEN FORMAL THEORIES (Q5117596): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01501
@@ Property / arXiv ID: 1807.01501 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+Q3367316
@@ Property / cites work: Q3367316 / rank @@
+Normal rank
@@ Property / cites work @@
+Mutual definability does not imply definitional equivalence, a simple example
+Normal rank
@@ Property / cites work @@
+A logic road from special relativity to general relativity
+Normal rank
@@ Property / cites work @@
+How many varieties of cylindric algebras are there
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+First order logic without equality on relativized semantics
+Normal rank
@@ Property / cites work @@
+Glymour and Quine on theoretical equivalence
@@ Property / cites work: Glymour and Quine on theoretical equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of thermodynamics
@@ Property / cites work: The foundations of thermodynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+On the simplicity of ideas
@@ Property / cites work: On the simplicity of ideas / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+The finitely axiomatizable complete theories of non-associative arrow frames
+Normal rank
@@ Property / cites work @@
+Q4557141
@@ Property / cites work: Q4557141 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Classical and Relativistic Kinematics in First-Order Logic
+Normal rank
@@ Property / cites work @@
+On generalization of definitional equivalence to non-disjoint languages
+Normal rank
@@ Property / cites work @@
+Axiomatic Definitions of Programming Languages
@@ Property / cites work: Axiomatic Definitions of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Properties Preserved under Definitional Equivalence and Interpretations
+Normal rank
@@ Property / cites work @@
+The role of the axiom of induction in elementary arithmetic
+Normal rank
@@ Property / cites work @@
+Q5393646
@@ Property / cites work: Q5393646 / rank @@
+Normal rank