scientific article; zbMATH DE number 3339390

Cited in

(only showing first 100 items - show all)

On coconnected algebras
Finite equational bases for finite algebras in a congruence-distributive equational class
Isomorphic but not base-isomorphic base-minimal cylindric set algebras
A version of predicate logic with two variables that has an incompleteness property
Monadic GMV-algebras
First order logic without equality on relativized semantics
On algebraisation of superintuitionistic predicate logics
On varieties of cylindric algebras with applications to logic
A survey of constraint-based programming paradigms
Confluence in concurrent constraint programming
A short proof of representability of fork algebras
Primitive iteration and unary functions
A fully abstract model for the exchange of information in multi-agent systems.
Computable stack functions for semantics of stack programs
On duality and model theory for polyadic spaces
Sequence recursiveness without cylindrification and limited register machines
Confluence in concurrent constraint programming
Sequence-to-sequence recursiveness
Quantifier-free formulas and quantifier alternation depth in doctrines
Logic in representations of groups
Investigations into quantified modal logic. I
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
Geometrical representation theorems for cylindric-type algebras
Testing definitional equivalence of theories via automorphism groups
A duality for Boolean algebras with operators
The structure of lattices of subframe logics
Modeling biological systems in stochastic concurrent constraint programming
Unifying theories of reactive design contracts
Conceptual distance and algebras of concepts
Monadic bounded residuated lattices
Transforming semantics by abstract interpretation
Subcompletions of representable relation algebras
Cylindric Algebras of First-Order Languages
Two new algebraic equivalents to the axiom of choice
Presenting functors on many-sorted varieties and applications
Elementary generation and canonicity for varieties of Boolean algebras with operators
Monadic bounded commutative residuated -monoids
On Tarski's axiomatic foundations of the calculus of relations
Discrete duality for De Morgan algebras with operators
Relation-algebraic semantics
Free algebras in discriminator varieties
A finite equational axiomatization of the functional algebras for the lambda calculus
An application of infinitary universal algebra to set theory
Relation algebras from cylindric algebras. I
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
Stochastic concurrent constraint programming
Congruence lattices of pseudocomplemented semilattices
A timed concurrent constraint language.
Relation algebras from cylindric algebras. II
Some sufficient conditions for the representability of relation algebras
Varying interpolation and amalgamation in polyadic MV-algebras
Base-undecidable properties of universal varieties
On HCO spaces. An uncountable compact \(T_ 2\) space, different from \(\aleph_ 1+1\), which is homeomorphic to each of its uncountable closed subspaces
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
On conceptual completeness of syntactic-semantical systems
The class of topological spaces is equationally definable
Dynamic squares
Applying, extending, and specializing pseudorecursiveness
The Boolean algebra of the theory of linear orders
A relation-algebraic approach to the region connection calculus
On universal algebraic constructions of logics
Characterizing Mal'cev conditions
A non-representable cylindric algebra with pairing functions
Notions of density that imply representability in algebraic logic
On systems of varieties definable by schemes of equations
The relational model of data and cylindric algebras
A sequent calculus for relation algebras
The calculus of relations as a foundation for mathematics
A new theory of quantifiers and term connectives
A portrait of Alfred Tarski
Atom structures of cylindric algebras and relation algebras
Cylindric algebras and finite polyadic algebras
Neat embeddings, omitting types, and interpolation: an overview
An empirical assessment of progress in automated theorem proving
A measure theoretic approach to logical quantification
Varieties of regular semigroups with uniquely defined inversion
Cylindric structures and dependencies in relational databases
On varieties of algebras of relations with an operation of double cylindrification
Identities of semigroups of relations with an operator of reflexive double cylindrification
On the Structure of Lindenbaum Algebras: An Approach Using Algebraic Logic
Mereocompactness and Duality for Mereotopological Spaces
Sheaf Constructions and Their Elementary Properties
Hybrid logic of the hide and seek game
Mathematical modal logic: A view of its evolution
Algebraization of quantifier logics, an introductory overview
An interpolation theorem for irredundant bases of closure structures
Generic local computation
Some results about neat reducts
On the structure of varieties with equationally definable principal congruences. I
On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
Quantum cylindric set algebras
Epimorphisms in cylindric algebras and definability in finite variable logic
On the algebraic models of lambda calculus
On simplicity of formulas
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
Absorption and idempotency criteria for a problem in near-Boolean algebras
A logic road from special relativity to general relativity
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
New perspectives in algebraic logic, from neat embeddings to Erdős graphs
The number of finitely generated infinite cylindric set algebras of dimension two

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5616133)