Pages that link to "Item:Q5844609"
From MaRDI portal
The following pages link to The decision problem for some classes of sentences without quantifiers (Q5844609):
Displayed 50 items.
- Partition semantics for relations (Q579957) (← links)
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- Model complete universal Horn classes (Q800351) (← links)
- Residual finiteness in permutation varieties of semigroups (Q801042) (← links)
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- An efficient algorithm for Horn description (Q1029007) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Free products and the word problem (Q1108303) (← links)
- Varieties generated by para primal algebras (Q1140109) (← links)
- On the word problem of lattices with the help of graphs (Q1182531) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Syntactic characterization of closure under connected limits (Q1210580) (← links)
- Classes of algebraic systems defined by universal Horn sentences (Q1240745) (← links)
- Universal Horn axiom systems for lattices of submodules (Q1245984) (← links)
- Double Horn functions (Q1271644) (← links)
- Error-free and best-fit extensions of partially defined Boolean functions (Q1383161) (← links)
- Variations on extending partially defined Boolean functions with missing bits. (Q1400581) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Conjunctive-query containment and constraint satisfaction (Q1591157) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- On the expressive power of data dependencies (Q1822528) (← links)
- A Horn sentence for involution lattices of quasiorders (Q1842101) (← links)
- Horn approximations of empirical data (Q1855210) (← links)
- Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms (Q1861581) (← links)
- Join-semidistributive lattices and convex geometries. (Q1865285) (← links)
- Sublattices of lattices of order-convex sets. I: The main representation theorem (Q1882895) (← links)
- Iterating conditionals and symmetric Stone algebras (Q1910539) (← links)
- Existence varieties of regular rings and complemented modular lattices (Q2382984) (← links)
- Polynomial certificates for propositional classes (Q2495655) (← links)
- Completeness of calculii for axiomatically defined classes of algebras (Q2556880) (← links)
- On Arithmetical Classes Not Closed Under Direct Union (Q3230364) (← links)
- On the interpretation of Aristotelian syllogistic (Q3235791) (← links)
- The validity of equations of complex algebras (Q3249805) (← links)
- Properties preserved under algebraic constructions (Q3257768) (← links)
- A note on direct products (Q3267402) (← links)
- On closure under direct product (Q3267403) (← links)
- Canonical Inference for Implicational Systems (Q3541718) (← links)
- Horn representation of a concept lattice (Q3631392) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Finitely Presented Lattices: Canonical Forms and the Covering Relation (Q3813846) (← links)
- Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen (Q3843612) (← links)
- Fragments of first order logic, I: universal Horn logic (Q4159026) (← links)
- Finitely Presented Lattices (Q4168951) (← links)
- The Undecidability of the Word Problems for Projective Geometries and Modular Lattices (Q4775863) (← links)
- Residually finite groups (Q5592313) (← links)
- Reduced Products and Horn Classes (Q5596751) (← links)
- Existential Horn Sentences (Q5722263) (← links)
- On sentences which are true of direct unions of algebras (Q5805954) (← links)