4 papers
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…
Affinization and quantifier-elimination
Seyed-Mohammad Bagheri
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
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…
Elements of affine model theory
Seyed-Mohammad Bagheri
By Lindström's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is h…