scientific article
From MaRDI portal
Publication:3998034
zbMath0741.00041MaRDI QIDQ3998034
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (15)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ Applied neat reducts on some classes of algebras ⋮ How many varieties of cylindric algebras are there ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ A relation-algebraic approach to the region connection calculus ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ Some results about neat reducts ⋮ Relation algebras from cylindric algebras. I ⋮ Relation algebras from cylindric algebras. II ⋮ First order logic without equality on relativized semantics ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Undecidability of Algebras of Binary Relations
This page was built for publication:
