On the public citation graph
Cylindric Set Algebras
0 signed · 100 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/1521-3870(200204)48:3<343::aid-malq343>3.0.co;2-4openalex-snapshot
A Modeltheoretic Solution to a Problem of Tarski
inferred← citeshttps://doi.org/10.1002/malq.200510039openalex-snapshot
Polyadic and cylindric algebras of sentences
inferred← citeshttps://doi.org/10.1006/inco.1998.2745openalex-snapshot
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
inferred← citeshttps://doi.org/10.1007/3-540-11981-7_1openalex-snapshot
Sharpening the characterization of the power of Floyd method
inferred← citeshttps://doi.org/10.1007/3-540-11981-7_13openalex-snapshot
Nonstandard runs of Floyd-provable programs
inferred← citeshttps://doi.org/10.1007/3-540-44802-0_2openalex-snapshot
Applications of Alfred Tarski’s Ideas in Database Theory
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_11openalex-snapshot
Logic of Space-Time and Relativity Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_15openalex-snapshot
Freeing Structural Realism from Model Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-66501-2_48openalex-snapshot
Algebras of Concepts and Their Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-97810-4_10openalex-snapshot
Alternative Algebraization of Classic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_10openalex-snapshot
Leon Henkin the Reviewer
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_7openalex-snapshot
Leon Henkin and Cylindric Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_17openalex-snapshot
Cylindric Set Algebras and IF Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_9openalex-snapshot
Representable Cylindric Algebras and Many-Dimensional Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_4openalex-snapshot
A Note on Axiomatisations of Two-Dimensional Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-7091-0177-3_11openalex-snapshot
Vienna Circle and Logical Analysis of Relativity Theory
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf01181878openalex-snapshot
Elementary generation and canonicity for varieties of Boolean algebras with operators
inferred← citeshttps://doi.org/10.1007/bf01188993openalex-snapshot
On inducing homomorphisms between relation set algebras
inferred← citeshttps://doi.org/10.1007/bf01195269openalex-snapshot
Isomorphic but not base-isomorphic base-minimal cylindric set algebras
inferred← citeshttps://doi.org/10.1007/bf01201107openalex-snapshot
The number of finitely generated infinite cylindric set algebras of dimension two
inferred← citeshttps://doi.org/10.1007/bf01229962openalex-snapshot
On taking subalgebras of relativized relation algebras
inferred← citeshttps://doi.org/10.1007/bf01848104openalex-snapshot
A foundation for conceptual data structures by cylindric and partial algebras
inferred← citeshttps://doi.org/10.1007/bf01849839openalex-snapshot
On conceptual completeness of syntactic-semantical systems
inferred← citeshttps://doi.org/10.1007/bf02109374openalex-snapshot
Elementary classes in the injective subcategories approach to abstract model theory
inferred← citeshttps://doi.org/10.1007/bf03024832openalex-snapshot
Unifying threads in alfred tarski’s work
inferred← citeshttps://doi.org/10.1007/bf03651361openalex-snapshot
Partial logic in a model-theoretic approach. Ehrenfeucht games with incomplete information
inferred← citeshttps://doi.org/10.1007/bfb0028786openalex-snapshot
A unifying theorem for algebraic semantics and dynamic logics
inferred← citeshttps://doi.org/10.1007/bfb0043078openalex-snapshot
On cylindric algebraic model theory
inferred← citeshttps://doi.org/10.1007/bfb0043089openalex-snapshot
Noncommutative cylindric algebras and relativizations of cylindric algebras
inferred← citeshttps://doi.org/10.1007/s00012-009-0022-2openalex-snapshot
Epimorphisms in cylindric algebras and definability in finite variable logic
inferred← citeshttps://doi.org/10.1007/s00012-009-2103-7openalex-snapshot
Weakly representable relation algebras form a variety
inferred← citeshttps://doi.org/10.1007/s00012-015-0360-1openalex-snapshot
Representations of polyadic-like equality algebras
inferred← citeshttps://doi.org/10.1007/s10992-025-09806-6openalex-snapshot
When Rules Define Logical Operators: Rules as Second-Order Definitions
inferred← citeshttps://doi.org/10.1007/s11225-010-9266-2openalex-snapshot
Non-standard Stochastics with a First Order Algebraization
inferred← citeshttps://doi.org/10.1007/s11229-014-0444-zopenalex-snapshot
Probabilities defined on standard and non-standard cylindric set algebras
inferred← citeshttps://doi.org/10.1007/s13226-022-00327-5openalex-snapshot
Applied neat reducts on some classes of algebras
inferred← citeshttps://doi.org/10.1007/s40574-020-00240-xopenalex-snapshot
A brief history of Tarskian algebraic logic with new perspectives and innovations
inferred← citeshttps://doi.org/10.1016/0012-365x(85)90064-0openalex-snapshot
Relation algebras: Concept of points and representability
inferred← citeshttps://doi.org/10.1016/0022-0000(84)90077-1openalex-snapshot
The relational model of data and cylindric algebras
inferred← citeshttps://doi.org/10.1016/0168-0072(86)90061-8openalex-snapshot
Representable cylindric algebras
inferred← citeshttps://doi.org/10.1016/0168-0072(87)90019-4openalex-snapshot
On varieties of cylindric algebras with applications to logic
inferred← citeshttps://doi.org/10.1016/0304-3975(82)90030-5openalex-snapshot
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00203-uopenalex-snapshot
Lambda abstraction algebras: representation theorems
inferred← citeshttps://doi.org/10.1016/b978-0-444-87759-8.50014-6openalex-snapshot
ON THE CONNECTION OF CYLINDRICAL HOMOMORPHISMS AND POINT FUNCTIONS FOR Crsα 's.
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100615openalex-snapshot
Soft constraint automata with memory
inferred← citeshttps://doi.org/10.1016/j.joems.2011.08.002openalex-snapshot
New perspectives in algebraic logic, from neat embeddings to Erdos graphs
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70008-9openalex-snapshot
I. Bibliography of Cylindric Algebras and Related Algebraic Structures
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00004-6openalex-snapshot
On a formal semantics of tabular expressions
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00027-4openalex-snapshot
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00059-1openalex-snapshot
On the algebraic models of lambda calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00016-0openalex-snapshot
Cylindric structures and dependencies in relational databases
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00126-6openalex-snapshot
Enlargements of functional algebras for the lambda calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80934-4openalex-snapshot
Requirements Scenarios Formalization Technique
inferred← citeshttps://doi.org/10.1023/a:1006246322119openalex-snapshot
What is Tarski's Theory of Truth?
inferred← citeshttps://doi.org/10.1023/a:1012447223176openalex-snapshot
On Neat Reducts of Algebras of Logic
inferred← citeshttps://doi.org/10.1090/s0002-9939-1987-0883419-8openalex-snapshot
Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem
inferred← citeshttps://doi.org/10.1090/s0002-9947-1984-0760986-8openalex-snapshot
Galois Theory for Cylindric Algebras and its Applications
inferred← citeshttps://doi.org/10.1090/s0002-9947-1988-0961607-5openalex-snapshot
A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
inferred← citeshttps://doi.org/10.1109/sfcs.1987.17openalex-snapshot
Database theory and cylindric lattices
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634658openalex-snapshot
Isomorphisms of finite cylindric set algebras of characteristic zero.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635082openalex-snapshot
Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635426openalex-snapshot
On generalizations of a theorem of Vaught.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637932openalex-snapshot
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870384openalex-snapshot
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to ${\rm HP}$.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870521openalex-snapshot
First-order theories as many-sorted algebras.
inferred← citeshttps://doi.org/10.1556/sscmath.38.2001.1-4.1openalex-snapshot
A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
inferred← citeshttps://doi.org/10.1556/sscmath.38.2001.1-4.20openalex-snapshot
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski
inferred← citeshttps://doi.org/10.1556/sscmath.48.2011.4.1190openalex-snapshot
Representability and amalgamation for Heyting polyadic algebras
inferred← citeshttps://doi.org/10.1556/sscmath.50.2013.1.1217openalex-snapshot
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
inferred← citeshttps://doi.org/10.20944/preprints202112.0392.v1openalex-snapshot
Arities and Aritizabilities of First-Order Theories
inferred← citeshttps://doi.org/10.2178/bsl/1082986262openalex-snapshot
Erdős Graphs Resolve Fine's Canonicity Problem
inferred← citeshttps://doi.org/10.2178/bsl/1246453978openalex-snapshot
In Memoriam: Leon Albert Henkin 1921–2006
inferred← citeshttps://doi.org/10.2178/jsl/1208358743openalex-snapshot
Omitting types for finite variable fragments and complete representations of algebras
inferred← citeshttps://doi.org/10.2178/jsl/1245158086openalex-snapshot
Strongly representable atom structures of cylindric algebras
inferred← citeshttps://doi.org/10.2307/2273976openalex-snapshot
On the number of generators of cylindric algebras
inferred← citeshttps://doi.org/10.2307/2274323openalex-snapshot
Cylindric-relativised set algebras have strong amalgamation
inferred← citeshttps://doi.org/10.2307/2274576openalex-snapshot
Isomorphic but not lower base-isomorphic cylindric set algebras
inferred← citeshttps://doi.org/10.2307/2274648openalex-snapshot
Weak cylindric set algebras and weak subdirect indecomposability
inferred← citeshttps://doi.org/10.2307/2586497openalex-snapshot
Undecidable relativizations of algebras of relations
inferred← citeshttps://doi.org/10.2307/2586762openalex-snapshot
Finite algebras of relations are representable on finite sets
inferred← citeshttps://doi.org/10.3233/fi-1998-33203openalex-snapshot
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
inferred← citeshttps://doi.org/10.3233/fun-2001-45405openalex-snapshot
Nonmodularity Results for Lambda Calculus
inferred← citeshttps://doi.org/10.4064/-28-1-253-290openalex-snapshot
Lectures on cylindric set algebras
inferred← citeshttps://doi.org/10.4064/-28-1-311-318openalex-snapshot
Weak products of universal algebras
inferred← citeshttps://doi.org/10.4064/fm172-1-5openalex-snapshot
The class of 2-dimensional neat reducts is not elementary
inferred← citeshttps://doi.org/10.48550/arxiv.1302.1368openalex-snapshot
On the finitizability problem in algebraic logic; recent results
inferred← citeshttps://doi.org/10.48550/arxiv.1308.6165openalex-snapshot
Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics
inferred← citeshttps://doi.org/10.48550/arxiv.1508.05840openalex-snapshot
A brief history of algebraic logic from neat embeddings to rainbow constructions
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.