Theories with the independence property
From MaRDI portal
Publication:993495
DOI10.1007/s11225-010-9263-5zbMath1202.03043OpenAlexW2152646692MaRDI QIDQ993495
Publication date: 20 September 2010
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://research.vu.nl/ws/files/2727188/248908.pdf
Logic in computer science (03B70) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Convex sets without dimension restrictions (aspects of convex geometry) (52A05)
Cites Work
- A complete and recursive feature theory
- Relation algebras
- Model theory.
- A feature constraint system for logic programming with entailment
- Untersuchungen über das logische Schliessen. I
- Interpreting first-order theories into a logic of records
- A complete axiomatization of a theory with feature and arity constraints
- Some Varieties Containing Relation Algebras
- Records for logic programming
- Reduced products, Horn sentences, and decision problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item