On the public citation graph

On universal algebraic constructions of logics

https://doi.org/10.1007/bf02121113
0 signed · 43 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf02944991openalex-snapshot
Amalgamation, congruence-extension, and interpolation properties in algebras
inferredcites →https://doi.org/10.1112/blms/4.2.238openalex-snapshot
THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS
inferredcites →https://doi.org/10.2307/2270900openalex-snapshot
Nonfinitizability of classes of representable cylindric algebras
inferredcites →https://doi.org/10.4064/fm-37-1-193-200openalex-snapshot
A proof of the completeness theorem of Grödel
inferredcites →https://doi.org/10.4064/fm-52-2-177-203openalex-snapshot
A complete first-order logic with infinitary predicates

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.1007/3-540-10854-8_2openalex-snapshot
Some universal algebraic and model theoretic results in computer science
inferred← citeshttps://doi.org/10.1007/3-540-10854-8_31openalex-snapshot
Dynamic algebras of programs
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_5openalex-snapshot
Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_3openalex-snapshot
Algebraic Logic
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf01849839openalex-snapshot
On conceptual completeness of syntactic-semantical systems
inferred← citeshttps://doi.org/10.1007/bf01960547openalex-snapshot
Measures on cylindric algebras
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/bf02483086openalex-snapshot
On systems of varieties definable by schemes of equations
inferred← citeshttps://doi.org/10.1007/bf02483830openalex-snapshot
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
inferred← citeshttps://doi.org/10.1007/bfb0043078openalex-snapshot
On cylindric algebraic model theory
inferred← citeshttps://doi.org/10.1007/bfb0095614openalex-snapshot
On cylindric-relativized set algebras
inferred← citeshttps://doi.org/10.1007/s00012-004-1807-yopenalex-snapshot
On amalgamation of reducts of polyadic algebras
inferred← citeshttps://doi.org/10.1016/0304-3975(89)90156-4openalex-snapshot
Weak second order characterizations of various program verification systems
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/s0168-0072(98)00032-3openalex-snapshot
Notions of density that imply representability in algebraic logic
inferred← citeshttps://doi.org/10.1023/a:1004275029985openalex-snapshot
Modal Languages and Bounded Fragments of Predicate Logic
inferred← citeshttps://doi.org/10.1023/a:1012447223176openalex-snapshot
On Neat Reducts of Algebras of Logic
inferred← citeshttps://doi.org/10.1023/a:1021368713305openalex-snapshot
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
inferred← citeshttps://doi.org/10.1023/a:1024634225235openalex-snapshot
Review of Protoalgebraic Logics by J. Czelakowski
inferred← citeshttps://doi.org/10.1093/jigpal/jzp012openalex-snapshot
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
inferred← citeshttps://doi.org/10.1093/jigpal/jzq048openalex-snapshot
Three interpolation theorems for typeless logics
inferred← citeshttps://doi.org/10.12775/llp.1997.009openalex-snapshot
Logic may be simple. Logic, congruence and algebra
inferred← citeshttps://doi.org/10.1305/ndjfl/1091030854openalex-snapshot
Neat Embeddings, Omitting Types, and Interpolation: An Overview
inferred← citeshttps://doi.org/10.1556/sscmath.2011.1184openalex-snapshot
Amalgamation in universal algebraic logic
inferred← citeshttps://doi.org/10.2178/bsl/1130335206openalex-snapshot
Algebraic Logic, Where Does it Stand Today?
inferred← citeshttps://doi.org/10.2307/2273903openalex-snapshot
The contributions of Alfred Tarski to algebraic logic
inferred← citeshttps://doi.org/10.2307/2273976openalex-snapshot
On the number of generators of cylindric algebras
inferred← citeshttps://doi.org/10.3166/jancl.15.465-489openalex-snapshot
Omitting types for algebraizable extensions of first order logic
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.1401.1156openalex-snapshot
Algebraisable versions of predicate topological logic
inferred← citeshttps://doi.org/10.48550/arxiv.1402.5998openalex-snapshot
Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
inferred← citeshttps://doi.org/10.48550/arxiv.math/0312420openalex-snapshot
Algebraic Logic, Varieties of Algebras and Algebraic Varieties
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.