Seyed Mohammad Bagheri - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Consistency and interpolation in linear continuous logicMahya Malekghasemi, Seyed Mohammad Bagheri. AML, 62(7-8):931-939, November 2023. [doi]

2021

The isomorphism theorem for linear fragments of continuous logicSeyed Mohammad Bagheri. mlq, 67(2):193-205, 2021. [doi]

2019

The logic of linear propositionsSeyed Mohammad Bagheri. igpl, 27(6):836-846, 2019. [doi]

2018

Maximality of linear continuous logicMahya Malekghasemi, Seyed Mohammad Bagheri. mlq, 64(3):185-191, 2018. [doi]

2017

Completeness for linear continuous logicSeyed Mohammad Bagheri, Roghieh Safari. logcom, 27(4):985-998, 2017. [doi]

2014

Linear model theory for Lipschitz structuresSeyed Mohammad Bagheri. AML, 53(7-8):897-927, 2014. [doi]

Preservation theorems in linear continuous logicSeyed Mohammad Bagheri, Roghieh Safari. mlq, 60(3):168-176, 2014. [doi]

Using fuzzy AHP and fuzzy TOPSIS methods for prioritisation of technological competencies to maximise the financial and non-financial performanceElham Keshavarz, Tahereh Heydari, Abolfazl Rohani, Seyed Mohammad Bagheri. ijbis, 16(3):297-320, 2014. [doi]

2012

Quantified universes and ultraproductsAlireza Mofidi, Seyed Mohammad Bagheri. mlq, 58(1-2):63-74, 2012. [doi]

2011

Omitting Types in an Intermediate LogicSeyed Mohammad Bagheri, Massoud Pourmahdian. sLogica, 97(3):319-328, 2011. [doi]

Random variables and integral logicKarim Khanaki, Seyed Mohammad Bagheri. mlq, 57(5):494-503, 2011. [doi]

2010

A Los type theorem for linear metric formulasSeyed Mohammad Bagheri. mlq, 56(1):78-84, 2010. [doi]

An arithmetical view to first-order logicSeyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian. APAL, 161(6):745-755, 2010. [doi]

2009

The logic of integrationSeyed Mohammad Bagheri, Massoud Pourmahdian. AML, 48(5):465-492, 2009. [doi]

2008

Elementary Amalgamation and Joint Embedding Property for Intermediate LogicsSeyed Mohammad Bagheri, Massoud Pourmahdian. igpl, 16(6):561-583, 2008. [doi]

2006

Some preservation theorems in an intermediate logicSeyed Mohammad Bagheri. mlq, 52(2):125-133, 2006. [doi]

Diagram Construction in Intuitionistic LogicSeyed Mohammad Bagheri, Massoud Pourmahdian. igpl, 14(6):889-901, 2006. [doi]

2003

On translations of complete first order theoriesSeyed Mohammad Bagheri. mlq, 49(1):87-91, 2003. [doi]

Some results on Kripke models over an arbitrary fixed frameSeyed Mohammad Bagheri, Morteza Moniri. mlq, 49(5):479-484, 2003. [doi]

1999

Ordre Fondamental D Une Théorie 1-BaséeSeyed Mohammad Bagheri. JSYML, 64(4):1426-1438, 1999.

Sign in or sign up to see more results.

runs on WebDSL