scientific article; zbMATH DE number 1215476
From MaRDI portal
Publication:4215609
zbMath0905.06010MaRDI QIDQ4215609
Publication date: 26 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
framerelational structureaxiomatizationatom structureatomic boolean algebra with operatorsconjugated operatorsvarieties of boolean algebras with operators
Related Items (4)
Atomless varieties ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ MacNeille completions and canonical extensions ⋮ Elementary canonical formulae: extending Sahlqvist's theorem
This page was built for publication:
