Year |
Title |
2023 |
Consistency and interpolation in linear continuous logic
M Malekghasemi, SM Bagheri
Archive for Mathematical Logic, 1-9
|
2022 |
Linear Formulas in Continuous Logic
SM Bagheri, F Fadai
Iranian Journal of Mathematical Sciences and Informatics 17 (2), 75-86
|
2021 |
The isomorphism theorem for linear fragments of continuous logic
SM Bagheri
Mathematical Logic Quarterly 67 (2), 193-205
|
2019 |
The logic of linear propositions
SM Bagheri
Logic Journal of the IGPL
|
2019 |
Continuous integration logic
SM Bagheri, M Pourmahdian
|
2018 |
Maximality of linear continuous logic
M Malekghasemi, SM Bagheri
Mathematical Logic Quarterly 64 (3), 185-191
|
2017 |
Completeness for linear continuous logic
SM Bagheri, R Safari
Journal of Logic and Computation
|
2017 |
Categoricity and quantifier elimination for intuitionistic theories
SM Bagheri
Logic in Tehran 26, 23-41
|
2015 |
Eberlein-Smulian compactness and Kolmogorov extension theorems; a model
theoretic approach
SM Bagheri, K Khanaki
arXiv e-prints, arXiv: 1509.03193
|
2014 |
On the ultramean construction
M Bagheri
نشریه علوم ریاضی و انفورماتیک 9 (2), 109-119
|
2014 |
Linear model theory for Lipschitz structures
SM Bagheri
Archive for Mathematical Logic 53, 897-927
|
2014 |
Preservation theorems in linear continuous logic
SM Bagheri, R Safari
Mathematical Logic Quarterly 60 (3), 168-176
|
2014 |
A proof of completeness for linear continuous logic
R Safari, SM Bagheri
|
2013 |
Preservation theorems in Lukasiewicz Model Theory
SM BAGHERI, M Moniri
IRANIAN JOURNAL OF FUZZY SYSTEMS 10 (3), 103-113
|
2012 |
Quantified universes and ultraproducts
A Mofidi, SM Bagheri
Mathematical Logic Quarterly 58 (1‐2), 63-74
|
2011 |
Random variables and integral logic
K Khanaki, SM Bagheri
Mathematical Logic Quarterly 57 (5), 494-503
|
2011 |
Omitting Types in an Intermediate Logic
SM Bagheri, M Pourmahdian
Studia Logica, 319-328
|
2010 |
An arithmetical view to first-order logic
SM Bagheri, B Poizat, M Pourmahdian
Annals of Pure and Applied Logic 161 (6), 745-755
|
2010 |
A Łoś type theorem for linear metric formulas
SM Bagheri
Mathematical Logic Quarterly 56 (1), 78-84
|
2009 |
The logic of integration
SM Bagheri, M Pourmahdian
Archive for Mathematical Logic 48, 465-492
|
2008 |
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics
SM Bagheri, M Pourmahdian
Logic Journal of IGPL 16 (6), 561-583
|
2006 |
Diagram construction in intuitionistic logic
SM Bagheri, M Pourmahdian
Logic Journal of the IGPL 14 (6), 889-901
|
2006 |
Some preservation theorems in an intermediate logic
SM Bagheri
Mathematical Logic Quarterly 52 (2), 125-133
|
2003 |
Some results on Kripke models over an arbitrary fixed frame
SM Bagheri, M Moniri
Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (5), 479-484
|
2003 |
On translations of complete first order theories
SM Bagheri
Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (1), 87-91
|
|
Decidability of Cancellative Extension of Monoidal T-norm Based Logic 827
Rostislav Horcık Algebraization of Non-structural Logics 845
S Munoz-Venegas, J Berger, DS Bridges, L Liu, L Chen, SM Bagheri, ...
|