The following pages link to (Q5732648):
Displaying 36 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Visions of Henkin (Q514560) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- The relational model of data and cylindric algebras (Q761801) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Boolean combinations of monadic formulas (Q1055408) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- Computable stack functions for semantics of stack programs (Q1137385) (← links)
- Quantifiers as modal operators (Q1150594) (← links)
- Sequence recursiveness without cylindrification and limited register machines (Q1154263) (← links)
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- The axiomatic system of the factorial implication (Q1217795) (← links)
- Undecidability of the homogeneous formulas of degree 3 of the predicate calculus (Q1220926) (← links)
- A cylindrical algebra based on the Boolean ring (Q1229866) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Some sufficient conditions for the representability of relation algebras (Q1249576) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- On the algebra of classes of formulae of Jaskowski's discussive system (Q1845884) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- On logical systems with implications and theories of algebras (Q2264664) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Same same but different: an alphabetically innocent compositional predicate logic (Q2410894) (← links)
- Su una classe equazionale di algebre (Q2527945) (← links)
- Relation algebras and function semigroups (Q2539869) (← links)
- Leon Henkin (Q3454796) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Non-finite-axiomatizability results in algebraic logic (Q4032865) (← links)
- Substitutionless predicate logic with identity (Q5541306) (← links)
- A simplified formalization of predicate logic with identity (Q5552146) (← links)
- Nonfinitizability of classes of representable cylindric algebras (Q5571688) (← links)
- Quantum cylindric set algebras (Q6069562) (← links)
