Constructing the Galois adjoint

DOI10.1016/0020-0190(94)00194-4zbMath0998.93509OpenAlexW1530278508MaRDI QIDQ674265

The Eindhoven Tuesday Afternoon Club

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00194-4

zbMATH Keywords

equational reasoningprogram derivationhuman factorsproof design

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (1)

On the antisymmetry of Galois embeddings

This page was built for publication: Constructing the Galois adjoint