A COMPLETENESS THEOREM FOR CORRELATION LATTICES

DOI10.1002/MALQ.19830290803zbMATH Open0536.03041OpenAlexW2075323732MaRDI QIDQ3320369

M. Szymanska, Dietmar Schweigert

Publication date: 1983

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19830290803

zbMATH Keywords

simple algebrasfunctional completenessarithmetical varietyBoolean correlation latticessemantics of correlation logic

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Complemented lattices, orthocomplemented lattices and posets (06C15) Word problems (aspects of algebraic structures) (08A50)

Related Items (1)

On correlations between complete sets

This page was built for publication: A COMPLETENESS THEOREM FOR CORRELATION LATTICES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3320369)