The following pages link to (Q5616133):
Displaying 50 items.
- A logic road from special relativity to general relativity (Q383001) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Generic local computation (Q414892) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- A survey of constraint-based programming paradigms (Q458465) (← links)
- Identities of semigroups of relations with an operator of reflexive double cylindrification (Q465152) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- A duality for Boolean algebras with operators (Q585240) (← links)
- Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Depth, \(\pi\)-character, and tightness in superatomic Boolean algebras (Q675241) (← links)
- Logic in representations of groups (Q694234) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- A new theory of quantifiers and term connectives (Q735412) (← links)
- On simplicity of formulas (Q757354) (← links)
- The number of finitely generated infinite cylindric set algebras of dimension two (Q761449) (← links)
- The relational model of data and cylindric algebras (Q761801) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras (Q780237) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- Decompositions of universal algebras by idempotent algebras (Q797618) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- On amalgamation in algebras of logic (Q817679) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs (Q909651) (← links)
- Monadic GMV-algebras (Q938237) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Some results about neat reducts (Q992010) (← links)
- On complete representations of reducts of polyadic algebras (Q1005935) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Boolean combinations of monadic formulas (Q1055408) (← links)
- Equations not preserved by complete extensions (Q1055771) (← links)
- Isomorphic but not base-isomorphic base-minimal cylindric set algebras (Q1089337) (← links)
- A non-representable cylindric algebra with pairing functions (Q1090331) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- A content semantics for quantified relevant logics. I (Q1116940) (← links)
- Two new algebraic equivalents to the axiom of choice (Q1121877) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Computable stack functions for semantics of stack programs (Q1137385) (← links)
- The Boolean algebra of the theory of linear orders (Q1141142) (← links)
- A measure theoretic approach to logical quantification (Q1147123) (← links)
- Sequence recursiveness without cylindrification and limited register machines (Q1154263) (← links)
- Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent (Q1169457) (← links)
