Author:David Gabelaia
Keyphrasescountable model property, free Boolean extensions and MacNeille completions, join and meet infinite distributive laws, modal logic, nuclei and Booleanization, topological semantics. |
| ||||
| ||||
| Copyright © 2012-2025 easychair.org. All rights reserved. |