scientific article; zbMATH DE number 3339390

Cited in

(only showing first 100 items - show all)

On complete representations of reducts of polyadic algebras
Epimorphisms in cylindric algebras and definability in finite variable logic
Boolean combinations of monadic formulas
Equations not preserved by complete extensions
Isomorphic but not base-isomorphic base-minimal cylindric set algebras
A non-representable cylindric algebra with pairing functions
On varieties of cylindric algebras with applications to logic
Primitive iteration and unary functions
A content semantics for quantified relevant logics. I
Two new algebraic equivalents to the axiom of choice
Enlargements of functional algebras for the lambda calculus
Computable stack functions for semantics of stack programs
The Boolean algebra of the theory of linear orders
A measure theoretic approach to logical quantification
Sequence recursiveness without cylindrification and limited register machines
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
Algebraization of quantifier logics, an introductory overview
Subsumption computed algebraically
Absorption and idempotency criteria for a problem in near-Boolean algebras
Characterizing Mal'cev conditions
A simple, purely algebraic proof of the completeness of some first order logics
Sequence-to-sequence recursiveness
An interpolation theorem for irredundant bases of closure structures
Investigations into quantified modal logic. I
The number of subdirectly irreducible algebras in a variety
Base-undecidable properties of universal varieties
Finite equational bases for finite algebras in a congruence-distributive equational class
On universal algebraic constructions of logics
Algèbres de Boole monadiques libres
Some sufficient conditions for the representability of relation algebras
On systems of varieties definable by schemes of equations
A finite equational axiomatization of the functional algebras for the lambda calculus
Notions of density that imply representability in algebraic logic
Constructive and algebraic methods of the theory of rough sets
On HCO spaces. An uncountable compact \(T_ 2\) space, different from \(\aleph_ 1+1\), which is homeomorphic to each of its uncountable closed subspaces
An application of infinitary universal algebra to set theory
On the structure of varieties with equationally definable principal congruences. III
Towards automating duality
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
Relation-algebraic semantics
The application of automated reasoning to questions in mathematics and logic
The structure of lattices of subframe logics
Parallel constructions of maximal path sets and applications to short superstrings
Atom structures of cylindric algebras and relation algebras
A short proof of representability of fork algebras
Confluence in concurrent constraint programming
A fully abstract model for the exchange of information in multi-agent systems.
Mathematical modal logic: A view of its evolution
On the algebraic models of lambda calculus
Subcompletions of representable relation algebras
First order logic without equality on relativized semantics
Canonical extensions and ultraproducts of polarities
A unifying theorem for algebraic semantics and dynamic logics
On the structure of varieties with equationally definable principal congruences. I
On the subalgebra lattice of Peano algebras with finitary and infinitary operations
A timed concurrent constraint language.
On coconnected algebras
The abstract variable-binding calculus
Dynamic squares
Elementary generation and canonicity for varieties of Boolean algebras with operators
A construction of cylindric and polyadic algebras from atomic relation algebras
Monadic bounded residuated lattices
Cylindric algebras and finite polyadic algebras
Unifying theories of reactive design contracts
Varieties of regular semigroups with uniquely defined inversion
The class of topological spaces is equationally definable
On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
Atoms in infinite dimensional free sequence-set algebras
On identities of relation algebras with domino operations.
Uncertain information: random variables in graded semilattices
Varieties of complex algebras
Algebraic foundations for inquisitive semantics
Mereocompactness and Duality for Mereotopological Spaces
Leon Henkin
Leon Henkin the reviewer
On Automating the Calculus of Relations
A logic road from special relativity to general relativity
Bare canonicity of representable cylindric and polyadic algebras
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
Cylindric Algebras of First-Order Languages
On the Structure of Lindenbaum Algebras: An Approach Using Algebraic Logic
Generic local computation
scientific article; zbMATH DE number 3614785 (Why is no real title available?)
Sheaf Constructions and Their Elementary Properties
New perspectives in algebraic logic, from neat embeddings to Erdős graphs
A survey of constraint-based programming paradigms
Varying interpolation and amalgamation in polyadic MV-algebras
Discrete duality for De Morgan algebras with operators
Identities of semigroups of relations with an operator of reflexive double cylindrification
Terms in Cylindric Algebras
Freeing Structural Realism from Model Theory
An introduction to mechanized reasoning
Confluence in concurrent constraint programming
On bases of identities for varieties of groupoids of relations
On algebraisation of superintuitionistic predicate logics
Geometrical representation theorems for cylindric-type algebras
RALL: machine-supported proofs for relation algebra
On varieties of algebras of relations with an operation of double cylindrification
On Tarski's axiomatic foundations of the calculus of relations
Transforming semantics by abstract interpretation

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)