Saeed Salehi

According to our database, Saeed Salehi authored at least 43 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Fostering the Adoption and Use of Super App Technology.

Saeed Salehi, Iman Miremadi, Mobin Ghasempour Nejati, Hosein Ghafouri

IEEE Trans. Engineering Management, 2024

A reunion of Gödel, Tarski, Carnap and Rosser.

Saeed Salehi

J. Log. Comput., 2024

2023

A semi-implicit slip algorithm for mesh deformation in complex geometries, implemented in OpenFOAM.

Saeed Salehi, Håkan Nilsson

Comput. Phys. Commun., June, 2023

Weighing Theories: On Chaitin's Heuristic Principle.

Saeed Salehi

CoRR, 2023

2022

Gödelian sentences, Rosserian sentences and truth.

Ziba Assadi, Saeed Salehi

J. Log. Comput., 2022

Tarski's Undefinability Theorem and the Diagonal Lemma.

Saeed Salehi

Log. J. IGPL, 2022

'Sometime a paradox', now proof: Yablo is not first order.

Saeed Salehi

Log. J. IGPL, 2022

2020

On Rudimentarity, Primitive Recursivity and Representability.

Saeed Salehi

Reports Math. Log., 2020

From Intuitionism to Many-Valued Logics through Kripke Models.

Saeed Salehi

CoRR, 2020

Axiomatic (and Non-Axiomatic) Mathematics.

Saeed Salehi

CoRR, 2020

Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers.

Saeed Salehi

Bull. Symb. Log., 2020

On the diagonal Lemma of Gödel and Carnap.

Saeed Salehi

Bull. Symb. Log., 2020

2019

On decidability and axiomatizability of some ordered structures.

Ziba Assadi, Saeed Salehi

Soft Comput., 2019

2018

Kripke semantics for fuzzy logics.

Parvin Safari, Saeed Salehi

Soft Comput., 2018

On Axiomatizability of the Multiplicative Theory of Numbers.

Saeed Salehi

Fundam. Informaticae, 2018

On constructivity and the Rosser property: a closer look at some Gödelean proofs.

Saeed Salehi, Payam Seraji

Ann. Pure Appl. Log., 2018

2017

Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.

Saeed Salehi, Payam Seraji

J. Log. Comput., 2017

On the Decidability of the Ordered Structures of Numbers.

Ziba Assadi, Saeed Salehi

CoRR, 2017

On the Multiplicative Theory of Numbers.

Saeed Salehi

CoRR, 2017

2016

Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.

Saeed Salehi, Payam Seraji

CoRR, 2016

Computation in Logic and Logic in Computation.

Saeed Salehi

CoRR, 2016

Axiomatizing Mathematical Theories: Multiplication.

Saeed Salehi

CoRR, 2016

2015

Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories.

Saeed Salehi, Payam Seraji

CoRR, 2015

Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally.

Saeed Salehi

CoRR, 2015

2014

Theoremizing Yablo's Paradox.

Ahmad Karimi, Saeed Salehi

CoRR, 2014

2013

Diagonalizing by Fixed-Points

Ahmad Karimi, Saeed Salehi

CoRR, 2013

Herbrand consistency of some finite fragments of bounded arithmetical theories.

Saeed Salehi

Arch. Math. Log., 2013

Cubic-panorama image dataset analysis for storage and transmission.

Saeed Salehi, Eric Dubois

Proceedings of the Visual Information Processing and Communication IV, 2013

2012

Separating bounded arithmetical theories by Herbrand consistency.

Saeed Salehi

J. Log. Comput., 2012

Herbrand consistency of some arithmetical theories.

Saeed Salehi

J. Symb. Log., 2012

Godel's Incompleteness Phenomenon - Computationally.

Saeed Salehi

CoRR, 2012

Cubic-panorama image dataset compression.

Saeed Salehi, Eric Dubois

Proceedings of the Visual Information Processing and Communication III, 2012

2011

Alignment of cubic-panorama image datasets using epipolar geometry.

Saeed Salehi, Eric Dubois

Proceedings of the IEEE International Conference on Acoustics, 2011

2010

Separating Bounded Arithmetics by Herbrand Consistency

Saeed Salehi

CoRR, 2010

2007

Tree algebras and varieties of tree languages.

Saeed Salehi, Magnus Steinby

Theor. Comput. Sci., 2007

2006

A new evolution based training method for dynamic synapse neural networks.

Svein Saebo, Mohammad Bagher Menhaj, S. Ali, Saeed Salehi

Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006

2005

Positive varieties of tree languages.

Tatjana Petkovic, Saeed Salehi

Theor. Comput. Sci., 2005

Polynomially Bounded Recursive Realizability.

Saeed Salehi

Notre Dame J. Formal Log., 2005

Varieties of Tree Languages Definable by Syntactic Monoids.

Saeed Salehi

Acta Cybern., 2005

2003

Provably total functions of Basic Arithmetic.

Saeed Salehi

Math. Log. Q., 2003

Intuitionistic axiomatizations for bounded extension Kripke models.

Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi

Ann. Pure Appl. Log., 2003

A Completeness Property of Wilke's Tree Algebras.

Saeed Salehi

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic.

Saeed Salehi

Reports Math. Log., 2002