Showing 2026Show all
2 papers · 1 filter
math.LO2026
Affine modal propositional logic
Hafez K. D., Seyed-Mohammad Bagheri
Topological semantics for affine modal propositional logic is introduced. The interior operator on subsets is replaced with the lower semi-continuous envelope operator on functions…
math.LO2026
Affine logic with the integration operator
Seyed-Mohammad Bagheri
Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system a…