algebraic semantics 1bitopological representation 1instantial neighbourhood logic 1positive fragment 1typed completeness 1
From the 1 of 9 linked papers with an AI index.
Showing math.KTShow all
1 paper · 1 filter
From the 1 of 9 linked papers with an AI index.
1 paper · 1 filter