Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
Sayed Ahmed, TarekVolume:
30
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.2020.1801967
Date:
July, 2020
File:
PDF, 3.41 MB
2020