Searching for "Erratum to "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223]." – sorted by Relevance.
719,883 documents found, showing 1 through 10.
Next 10 →
-
Model-Theoretic Conventionalism
- … than a theory in a strict model-theoretic sense. Logic is a theory just as, say, Zermelo- Fraenkel set…
- Cited by 1 (1 self) – Add To MetaCart
-
The Model-Theoretic Semantics of TRIPLE
- …ABSTRACT The Model-Theoretic Semantics of TRIPLE ∗ Stefan Decker ISI University of Southern…
- Cited by 4 (1 self) – Add To MetaCart
-
A Model-Theoretic Approach to Ordinal Analysis
- …The Bulletin of Symbolic Logic Volume 3, Number 1, March 1997 A MODEL-THEORETIC APPROACH…
- Cited by 10 (2 self) – Add To MetaCart
-
Model-Theoretic Methods in Combined Constraint Satisfiability
- …Model-Theoretic Methods in Combined Constraint Satisfiability Silvio Ghilardi Dipartimento di…
- Cited by 23 (9 self) – Add To MetaCart
-
Model Theoretic Syntax
- … of the relationship that holds between any logical theory and its models. It has been difficult in the past to get…
- Cited by 8 (1 self) – Add To MetaCart
-
Theory of Finite Trees Revisited: Application of Model-Theoretic Algebra
- …Theory of Finite Trees Revisited: Application of Model-Theoretic Algebra ? Sergei G. Vorobyov Max…
- Cited by 2 (1 self) – Add To MetaCart
-
A Model-Theoretic Framework for Theories of Syntax
- …A Model-Theoretic Framework for Theories of Syntax Abstract A natural next step in the evolution…
- Cited by 11 (2 self) – Add To MetaCart
-
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
- … atom in S 2 to 0.5 is a model of \Gamma. Lemma 3 If \Gamma, \Delta are theories such that \Gamma )RFP…
- Cited by 1 (0 self) – Add To MetaCart
-
A Model-Theoretic Approach to Regular String Relations
- … of regular relations { has some quite undesirable computational and model-theoretic properties. In contrast…
- Cited by 14 (4 self) – Add To MetaCart
-
Combining and Representing Logical Systems Using Model-Theoretic Parchments
- … model-theoretic parchments and their logical morphisms. Proposition3. The construction of institutions…
- Cited by 15 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
