7 papers · 1 filter
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…
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…
Extreme types and extremal models
Seyed-Mohammad Bagheri
In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $…