4 papers
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…
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…
On models of affine arithmetic
Seyed-Mohammad Bagheri
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of conti…
Affinization and quantifier-elimination
Seyed-Mohammad Bagheri
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.