An introduction to cylindric set algebras
From MaRDI portal
Publication:4511601
DOI10.1093/jigpal/8.4.451zbMath0979.03046OpenAlexW2165661406MaRDI QIDQ4511601
Publication date: 26 February 2002
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.4.451
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (8)
Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ First order logic without equality on relativized semantics ⋮ Geometrical representation theorems for cylindric-type algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Strongly representable atom structures of cylindric algebras ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ Freeing Structural Realism from Model Theory
This page was built for publication: An introduction to cylindric set algebras
