Sahlqvist's theorem for Boolean algebras with operators

Authors
Publication date 1991
Series Report, ML-91-10
Publisher Amsterdam: Institute for Language, Logic and Information, University of Amsterdam
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back