On the public citation graph
Algebraization of quantifier logics, an introductory overview
0 signed · 254 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 this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19760220162openalex-snapshot
Algebraic Semantics for Modal Predicate Logic
inferredcites →https://doi.org/10.1002/malq.19800261406openalex-snapshot
Cylindric Algebras with Filter Quantifiers
inferredcites →https://doi.org/10.1002/malq.19820282706openalex-snapshot
Algebraic Analysis of the Topological Logic L(I)
inferredcites →https://doi.org/10.1002/mana.19790910119openalex-snapshot
Kohärente Systeme von B OOLE schen Algebren
inferredcites →https://doi.org/10.1007/3-540-08442-8_66openalex-snapshot
Some Remarks on Relational Composition in Computational Theory and Practice
inferredcites →https://doi.org/10.1007/3-540-09987-5openalex-snapshot
A Relational Theory of Computing
inferredcites →https://doi.org/10.1007/3-540-10854-8_31openalex-snapshot
Dynamic algebras of programs
inferredcites →https://doi.org/10.1007/978-1-4612-1084-9openalex-snapshot
I Want to be a Mathematician
inferredcites →https://doi.org/10.1007/978-1-4613-8601-8openalex-snapshot
Self-Reference and Modal Logic
inferredcites →https://doi.org/10.1007/978-3-030-52279-7_15openalex-snapshot
Models and Ultraproducts
inferredcites →https://doi.org/10.1007/978-3-322-85796-5openalex-snapshot
Klassische und nichtklassische Aussagenlogik
inferredcites →https://doi.org/10.1007/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-662-05382-9_5openalex-snapshot
Algebra and Discrete Mathematics
inferredcites →https://doi.org/10.1007/bf00370427openalex-snapshot
Topological representations of Post algebras of order ?+ and open theories based on ?+-valued Post logic
inferredcites →https://doi.org/10.1007/bf00370431openalex-snapshot
An algebraic study of well-foundedness
inferredcites →https://doi.org/10.1007/bf00370479openalex-snapshot
Interpolation properties of superintuitionistic logics
inferredcites →https://doi.org/10.1007/bf00370636openalex-snapshot
R?-algebras and R?-model structures as power constructs
inferredcites →https://doi.org/10.1007/bf00370686openalex-snapshot
Axiomatizing logics closely related to varieties
inferredcites →https://doi.org/10.1007/bf00373272openalex-snapshot
Q-ultrafilters and normal ultrafilters in B-algebras
inferredcites →https://doi.org/10.1007/bf00394448openalex-snapshot
The Craig interpolation theorem for prepositional logics with strong negation
inferredcites →https://doi.org/10.1007/bf00403331openalex-snapshot
A categorical approach to polyadic algebras
inferredcites →https://doi.org/10.1007/bf01053070openalex-snapshot
Algebraic logic for classical conjunction and disjunction
inferredcites →https://doi.org/10.1007/bf01188178openalex-snapshot
On the structure of varieties with equationally definable principal congruences IV
inferredcites →https://doi.org/10.1007/bf01188993openalex-snapshot
On inducing homomorphisms between relation set algebras
inferredcites →https://doi.org/10.1007/bf01190418openalex-snapshot
A remark on representable positive cylindric algebras
inferredcites →https://doi.org/10.1007/bf01191089openalex-snapshot
Free algebras in discriminator varieties
inferredcites →https://doi.org/10.1007/bf01237716openalex-snapshot
Interpolation and the Robinson property for logics not closed under the Boolean operations
inferredcites →https://doi.org/10.1007/bf01849839openalex-snapshot
On conceptual completeness of syntactic-semantical systems
inferredcites →https://doi.org/10.1007/bf01967654openalex-snapshot
Substitution algebras in their relation to cylindric algebras
inferredcites →https://doi.org/10.1007/bf02017961openalex-snapshot
Homomorphisms, homomorphic relations and power algebras
inferredcites →https://doi.org/10.1007/bf02121113openalex-snapshot
On universal algebraic constructions of logics
inferredcites →https://doi.org/10.1007/bf02219653openalex-snapshot
On the weak representability of σ-complete dimension complemented cylindric algebras
inferredcites →https://doi.org/10.1007/bf02483086openalex-snapshot
On systems of varieties definable by schemes of equations
inferredcites →https://doi.org/10.1007/bf02483108openalex-snapshot
The lattice of varieties of modal algebras is not strongly atomic
inferredcites →https://doi.org/10.1007/bf02485226openalex-snapshot
A simple, purely algebraic proof of the completeness of some first order logics
inferredcites →https://doi.org/10.1007/bf02485385openalex-snapshot
Some sufficient conditions for the representability of relation algebras
inferredcites →https://doi.org/10.1007/bf02485438openalex-snapshot
Elements de la théorie de catégories polyadiques
inferredcites →https://doi.org/10.1007/bf02573019openalex-snapshot
Relation algebras and function semigroups
inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot
Provability interpretations of modal logic
inferredcites →https://doi.org/10.1007/bf03017698openalex-snapshot
Transactions of the Cambridge Philosophical Society
inferredcites →https://doi.org/10.1007/bfb0028786openalex-snapshot
A unifying theorem for algebraic semantics and dynamic logics
inferredcites →https://doi.org/10.1007/bfb0029594openalex-snapshot
On kleene algebras and closed semirings
inferredcites →https://doi.org/10.1007/bfb0043074openalex-snapshot
Algebraic Logic and Universal Algebra in Computer Science
inferredcites →https://doi.org/10.1007/bfb0043078openalex-snapshot
On cylindric algebraic model theory
inferredcites →https://doi.org/10.1007/bfb0043079openalex-snapshot
Dynamic algebras as a well-behaved fragment of relation algebras
inferredcites →https://doi.org/10.1007/bfb0043086openalex-snapshot
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
inferredcites →https://doi.org/10.1007/bfb0043089openalex-snapshot
Noncommutative cylindric algebras and relativizations of cylindric algebras
inferredcites →https://doi.org/10.1007/bfb0061293openalex-snapshot
Completeness theorem for logical categories
inferredcites →https://doi.org/10.1016/0001-8708(87)90020-xopenalex-snapshot
Stone duality for first order logic
inferredcites →https://doi.org/10.1016/0012-365x(88)90078-7openalex-snapshot
Relation algebras and Schröder categories
inferredcites →https://doi.org/10.1016/0022-0000(80)90007-0openalex-snapshot
A proof system for the first-order relational calculus
inferredcites →https://doi.org/10.1016/0022-0000(84)90077-1openalex-snapshot
The relational model of data and cylindric algebras
inferredcites →https://doi.org/10.1016/0022-0000(87)90014-6openalex-snapshot
Dynamic algebras with test
inferredcites →https://doi.org/10.1016/0168-0072(83)90055-6openalex-snapshot
A sequent calculus for relation algebras
inferredcites →https://doi.org/10.1016/0168-0072(87)90019-4openalex-snapshot
On varieties of cylindric algebras with applications to logic
inferredcites →https://doi.org/10.1016/0168-0072(89)90032-8openalex-snapshot
Varieties of complex algebras
inferredcites →https://doi.org/10.1016/0304-3975(87)90118-6openalex-snapshot
Total correctness in nonstandard logics of programs
inferredcites →https://doi.org/10.1016/0890-5401(87)90049-6openalex-snapshot
A unifying theorem for algebraic semantics and dynamic logics
inferredcites →https://doi.org/10.1016/0890-5401(89)90055-2openalex-snapshot
Definability with bounded number of bound variables
inferredcites →https://doi.org/10.1016/s0003-4843(70)80006-7openalex-snapshot
Local definability theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)70133-2openalex-snapshot
Semantic Parallels in Natural Language and Computation
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7001-6openalex-snapshot
Cylindric Algebras Part II
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7024-2openalex-snapshot
Language in Action - Categories, Lambdas and Dynamic Logic
inferredcites →https://doi.org/10.1016/s1385-7258(68)50062-3openalex-snapshot
On the Relationship Between the Classical and the Categorical Direct Products of Algebras
inferredcites →https://doi.org/10.1017/s0004972700041186openalex-snapshot
Metamathematics of modal logic
inferredcites →https://doi.org/10.1017/s0022481200028917openalex-snapshot
Alfred Tarski's work on general metamathematics
inferredcites →https://doi.org/10.1017/s0022481200041074openalex-snapshot
Near-equational and equational systems of logic for partial functions. II
inferredcites →https://doi.org/10.1017/s0022481200092185openalex-snapshot
On an algebra of sets of finite sequences
inferredcites →https://doi.org/10.1075/llsee.25.17dosopenalex-snapshot
Second-order logic without variables
inferredcites →https://doi.org/10.1080/01445348408837062openalex-snapshot
Peirce, frege, the logic of relations, and church's theorem
inferredcites →https://doi.org/10.1080/11663081.1993.10510805openalex-snapshot
Dynamic logic with program specifications and its relational proof system
inferredcites →https://doi.org/10.1090/coll/041openalex-snapshot
A Formalization of Set Theory without Variables
inferredcites →https://doi.org/10.1090/conm/033/767117openalex-snapshot
Maximal algebras of binary relations
inferredcites →https://doi.org/10.1090/pspum/025/0376346openalex-snapshot
Cylindric algebras and related structures
inferredcites →https://doi.org/10.1090/s0002-9904-1947-08760-7openalex-snapshot
Algebra and theory of numbers
inferredcites →https://doi.org/10.1090/s0002-9904-1976-14162-6openalex-snapshot
Generators for algebras of relations
inferredcites →https://doi.org/10.1090/s0002-9904-1978-14587-xopenalex-snapshot
Book Review: First order categorical logic
inferredcites →https://doi.org/10.1090/s0002-9939-1951-0045695-9openalex-snapshot
The Extended Centralizer of a Ring Over a Module
inferredcites →https://doi.org/10.1090/s0002-9939-1962-0132693-7openalex-snapshot
Nonhomogeneous Polyadic Algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1971-0276063-5openalex-snapshot
Provability with Finitely Many Variables
inferredcites →https://doi.org/10.1090/s0002-9939-1987-0884476-5openalex-snapshot
Decidability of Relation Algebras with Weakened Associativity
inferredcites →https://doi.org/10.1090/s0002-9939-1989-0987611-5openalex-snapshot
Canonical Relativized Cylindric Set Algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1991-1033959-7openalex-snapshot
The Neat Embedding Problem and the Number of Variables Required in Proofs
inferredcites →https://doi.org/10.1090/s0002-9947-1964-0162741-6openalex-snapshot
On Automorphisms of Polyadic Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1972-0307908-3openalex-snapshot
A Sheaf-Theoretic Duality Theory for Cylindric Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1973-0317931-1openalex-snapshot
Cylindric Algebras and Algebras of Substitutions
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0662049-7openalex-snapshot
Some Varieties Containing Relation Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1984-0760986-8openalex-snapshot
Galois Theory for Cylindric Algebras and its Applications
inferredcites →https://doi.org/10.1090/s0002-9947-1988-0961607-5openalex-snapshot
A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
inferredcites →https://doi.org/10.1090/s0002-9947-1991-1049616-1openalex-snapshot
Pair-Dense Relation Algebras
inferredcites →https://doi.org/10.1093/oso/9780198240600.003.0008openalex-snapshot
Modal Logic as a Theory of Information
inferredcites →https://doi.org/10.1109/sfcs.1987.17openalex-snapshot
Database theory and cylindric lattices
inferredcites →https://doi.org/10.1142/s012905419100008xopenalex-snapshot
A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
inferredcites →https://doi.org/10.1305/ndjfl/1093635335openalex-snapshot
Modal definability in enriched languages.
inferredcites →https://doi.org/10.1305/ndjfl/1093637933openalex-snapshot
Topological duality for diagonalizable algebras.
inferredcites →https://doi.org/10.1305/ndjfl/1093870313openalex-snapshot
An axiomatization of predicate functor logic.
inferredcites →https://doi.org/10.1305/ndjfl/1093887428openalex-snapshot
A study of algebraic logic from the point of view of category theory.
inferredcites →https://doi.org/10.1305/ndjfl/1093891000openalex-snapshot
A simple algebra of first order logic.
inferredcites →https://doi.org/10.1305/ndjfl/1093891889openalex-snapshot
Algebraic logic with generalized quantifiers.
inferredcites →https://doi.org/10.1307/mmj/1028999131openalex-snapshot
On representable relation algebras.
inferredcites →https://doi.org/10.1515/9783112720875openalex-snapshot
A Model Theoretic Oriented Approach to Partial Algebras
inferredcites →https://doi.org/10.2307/1969611openalex-snapshot
The Representation of Relation Algebras, II
inferredcites →https://doi.org/10.2307/2270900openalex-snapshot
Nonfinitizability of classes of representable cylindric algebras
inferredcites →https://doi.org/10.2307/2270901openalex-snapshot
Nonfinitizability of classes of representable polyadic algebras
inferredcites →https://doi.org/10.2307/2271983openalex-snapshot
Axiom systems for first order logic with finitely many variables
inferredcites →https://doi.org/10.2307/2273184openalex-snapshot
The lattice of modal logics: an algebraic investigation
inferredcites →https://doi.org/10.2307/2273980openalex-snapshot
The completeness of a predicate-functor logic
inferredcites →https://doi.org/10.2307/2274450openalex-snapshot
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.
inferredcites →https://doi.org/10.2307/2274474openalex-snapshot
The interpretability logic of Peano arithmetic
inferredcites →https://doi.org/10.2307/2274537openalex-snapshot
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
inferredcites →https://doi.org/10.2307/2274576openalex-snapshot
Isomorphic but not lower base-isomorphic cylindric set algebras
inferredcites →https://doi.org/10.2307/2274648openalex-snapshot
Weak cylindric set algebras and weak subdirect indecomposability
inferredcites →https://doi.org/10.2307/2274743openalex-snapshot
Near-equational and equational systems of logic for partial functions. I
inferredcites →https://doi.org/10.2307/2274756openalex-snapshot
Nonfinite axiomatizability results for cylindric and relation algebras
inferredcites →https://doi.org/10.2307/2274764openalex-snapshot
A first approach to abstract modal logics
inferredcites →https://doi.org/10.2307/2275434openalex-snapshot
Non-finite-axiomatizability results in algebraic logic
inferredcites →https://doi.org/10.2307/2322244openalex-snapshot
I Want to Be a Mathematician: An Automathography.
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.2307/2964289openalex-snapshot
Finite Axiomatizability using additional predicates
inferredcites →https://doi.org/10.3233/fi-1986-9104openalex-snapshot
The Weakest Prespecification, Part I
inferredcites →https://doi.org/10.3233/fi-1986-9205openalex-snapshot
The Weakest Prespecification, Part II
inferredcites →https://doi.org/10.4064/fm-38-1-99-126openalex-snapshot
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
inferredcites →https://doi.org/10.4064/fm-52-2-151-176openalex-snapshot
Representation theory for polyadic algebras
inferredcites →https://doi.org/10.4064/fm-52-2-177-203openalex-snapshot
A complete first-order logic with infinitary predicates
inferredcites →https://doi.org/10.4064/fm-66-3-307-328openalex-snapshot
Lawvere's elementary theories and polyadic and cylindric algebras
inferredcites →https://doi.org/10.4064/fm-79-3-223-232openalex-snapshot
A simpler set of axioms for polyadic algebras
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.200710083openalex-snapshot
Turning decision procedures into disprovers
inferred← citeshttps://doi.org/10.1002/malq.201100109openalex-snapshot
On the definition and the representability of quasi‐polyadic equality algebras
inferred← citeshttps://doi.org/10.1002/malq.201300064openalex-snapshot
On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
inferred← citeshttps://doi.org/10.1002/malq.202100057openalex-snapshot
On the algebraization of Henkin‐type second‐order logic
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-57182-5_54openalex-snapshot
A representation theorem for lambda abstraction algebras
inferred← citeshttps://doi.org/10.1007/978-0-387-74759-0_53openalex-snapshot
Boolean and Fuzzy Relations
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_3openalex-snapshot
Axioms, Algebras and Topology
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_11openalex-snapshot
Dimension-Complemented Lambda Abstraction Algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_1openalex-snapshot
Algebraic Logic and Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_13openalex-snapshot
On Algebraisation of Superintuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_13openalex-snapshot
A Decidable Temporal Logic for Temporal Prepositions
inferred← citeshttps://doi.org/10.1007/978-94-017-1280-4_12openalex-snapshot
Predicate Logics on Display
inferred← citeshttps://doi.org/10.1007/bf01057805openalex-snapshot
Directions in generalized quantifier theory
inferred← citeshttps://doi.org/10.1007/bf01058532openalex-snapshot
Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
inferred← citeshttps://doi.org/10.1007/bf01066355openalex-snapshot
Lambek Calculus and its relational semantics: Completeness and incompleteness
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/bf01190815openalex-snapshot
Weakly representable but not representable relation algebras
inferred← citeshttps://doi.org/10.1007/bf01195500openalex-snapshot
Axiomatization of identity-free equations valid in relation algebras
inferred← citeshttps://doi.org/10.1007/bf01225472openalex-snapshot
The equational theory of union-free algebras of relations
inferred← citeshttps://doi.org/10.1007/bf02671669openalex-snapshot
Algebraic semantics for superintuitionistic predicate logics
inferred← citeshttps://doi.org/10.1007/bfb0013986openalex-snapshot
Completeness through flatness in two-dimensional temporal logic
inferred← citeshttps://doi.org/10.1007/bfb0023418openalex-snapshot
A modal theory of arrows. Arrow logics I
inferred← citeshttps://doi.org/10.1007/bfb0031920openalex-snapshot
Algebraic aspects of the relational knowledge representation: Modal relation algebras
inferred← citeshttps://doi.org/10.1007/bfb0039715openalex-snapshot
On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers
inferred← citeshttps://doi.org/10.1007/s00012-004-1856-2openalex-snapshot
Varieties of two-dimensional cylindric algebras II
inferred← citeshttps://doi.org/10.1007/s00012-011-0142-3openalex-snapshot
Axiomatizability of positive algebras of binary relations
inferred← citeshttps://doi.org/10.1007/s000120050146openalex-snapshot
Separability and decidability results for varieties of J�nsson dynamic algebras
inferred← citeshttps://doi.org/10.1007/s10992-006-9043-xopenalex-snapshot
On Fork Arrow Logic and its Expressive Power
inferred← citeshttps://doi.org/10.1007/s11083-008-9088-2openalex-snapshot
Monadic Bounded Commutative Residuated ℓ-monoids
inferred← citeshttps://doi.org/10.1007/s11083-011-9236-yopenalex-snapshot
Monadic Bounded Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-005-2802-9openalex-snapshot
On Amalgamation in Algebras of Logic
inferred← citeshttps://doi.org/10.1007/s11229-015-0689-1openalex-snapshot
Complexity of equational theory of relational algebras with standard projection elements
inferred← citeshttps://doi.org/10.1007/s11786-008-0049-3openalex-snapshot
Querying Historical Data Over Multiple Time-Lines
inferred← citeshttps://doi.org/10.1007/s11787-015-0129-5openalex-snapshot
The Universal Theory of First Order Algebras and Various Reducts
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00042-9openalex-snapshot
Relation algebras of intervals
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00203-uopenalex-snapshot
Lambda abstraction algebras: representation theorems
inferred← citeshttps://doi.org/10.1016/j.apal.2018.06.002openalex-snapshot
A representation theorem for measurable relation algebras
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.11.008openalex-snapshot
Relational lattices: From databases to universal algebra
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(06)80070-4openalex-snapshot
Logic and the flow of information
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/s0168-0072(97)00028-6openalex-snapshot
Complexity of equations valid in algebras of relations part II: Finite axiomatizations
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.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(96)00299-xopenalex-snapshot
A short proof of representability of fork algebras
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80018-8openalex-snapshot
15 Combining modal logics
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80028-5openalex-snapshot
Algebra, categories and databases
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1023/a:1004275029985openalex-snapshot
Modal Languages and Bounded Fragments of Predicate Logic
inferred← citeshttps://doi.org/10.1023/a:1005064504044openalex-snapshot
Interpolation and Amalgamation; Pushing the Limits. Part I
inferred← citeshttps://doi.org/10.1023/a:1012447223176openalex-snapshot
On Neat Reducts of Algebras of Logic
inferred← citeshttps://doi.org/10.1023/a:1021364629235openalex-snapshot
A Note on Algebras of Substitutions
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:1023383112908openalex-snapshot
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property
inferred← citeshttps://doi.org/10.1080/11663081.1996.10510890openalex-snapshot
Many-dimensional arrow logics
inferred← citeshttps://doi.org/10.1109/ismvl.1991.130746openalex-snapshot
Post relation algebras and their proof system
inferred← citeshttps://doi.org/10.1145/3426471openalex-snapshot
α β-Relations and the Actual Meaning of α-Renaming
inferred← citeshttps://doi.org/10.1305/ndjfl/1040149359openalex-snapshot
A Finitely Axiomatized Formalization of Predicate Calculus with Equality
inferred← citeshttps://doi.org/10.2178/bsl/1130335206openalex-snapshot
Algebraic Logic, Where Does it Stand Today?
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.2307/2275109openalex-snapshot
Derivation rules as anti-axioms in modal logic
inferred← citeshttps://doi.org/10.2307/2275127openalex-snapshot
European summer meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2307/2275414openalex-snapshot
The lattice of varieties of representable relation algebras
inferred← citeshttps://doi.org/10.2307/2275740openalex-snapshot
Step by step – Building representations in algebraic logic
inferred← citeshttps://doi.org/10.2307/2586485openalex-snapshot
Universal classes of simple relation algebras
inferred← citeshttps://doi.org/10.2307/2586497openalex-snapshot
Undecidable relativizations of algebras of relations
inferred← citeshttps://doi.org/10.2307/2586692openalex-snapshot
On the equational theory of representable polyadic equality algebras
inferred← citeshttps://doi.org/10.2307/2586797openalex-snapshot
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
inferred← citeshttps://doi.org/10.2307/2694918openalex-snapshot
Undecidable theories of Lyndon algebras
inferred← citeshttps://doi.org/10.2989/16073606.2019.1605628openalex-snapshot
Interpolation and amalgamation in modal cylindric algebras
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-2000-44404openalex-snapshot
Representability of Pairing Relation Algebras Representability of Pairing Relation Algebras Depends on our Ontology
inferred← citeshttps://doi.org/10.3233/fun-2001-45405openalex-snapshot
Nonmodularity Results for Lambda Calculus
inferred← citeshttps://doi.org/10.4000/msh.8923openalex-snapshot
Projective operations on relational constraints
inferred← citeshttps://doi.org/10.4064/-28-1-209-217openalex-snapshot
Strong completeness of the Lambek Calculus with respect to Relational Semantics
inferred← citeshttps://doi.org/10.4064/-28-1-327-342openalex-snapshot
Complete description of substitutions in cylindric algebras and other algebraic logics
inferred← citeshttps://doi.org/10.4064/-28-1-51-66openalex-snapshot
Polyadic algebras over nonclassical logics
inferred← citeshttps://doi.org/10.4064/-28-1-95-116openalex-snapshot
What the finitization problem is not
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.