Relation algebra reducts of cylindric algebras and an application to proof theory

DOI10.2178/jsl/1190150037zbMath1005.03052OpenAlexW2080847836MaRDI QIDQ4532609

Could not fetch data.

Publication date: 29 October 2002

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1190150037

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.