Saeed Salehi

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Recursively Enumerable

Decision Procedures

Top Venues

Bull. Symb. Log.

Publications

Saeed Salehi, Iman Miremadi, Mobin Ghasempour Nejati, Hosein Ghafouri
Fostering the Adoption and Use of Super App Technology. IEEE Trans. Engineering Management 71 (2024)
Saeed Salehi
Weighing Theories: On Chaitin's Heuristic Principle. CoRR (2023)
Saeed Salehi, Håkan Nilsson
A semi-implicit slip algorithm for mesh deformation in complex geometries, implemented in OpenFOAM. Comput. Phys. Commun. 287 (2023)
Saeed Salehi
'Sometime a paradox', now proof: Yablo is not first order. Log. J. IGPL 30 (1) (2022)
Saeed Salehi
Tarski's Undefinability Theorem and the Diagonal Lemma. Log. J. IGPL 30 (3) (2022)
Ziba Assadi, Saeed Salehi
Gödelian sentences, Rosserian sentences and truth. J. Log. Comput. 32 (4) (2022)
Saeed Salehi
A Reunion of Godel, Tarski, Carnap, and Rosser. CoRR (2022)
Saeed Salehi
Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers. Bull. Symb. Log. 26 (3-4) (2020)
Saeed Salehi
Axiomatic (and Non-Axiomatic) Mathematics. CoRR (2020)
Saeed Salehi
From Intuitionism to Many-Valued Logics through Kripke Models. CoRR (2020)
Saeed Salehi
On the diagonal Lemma of Gödel and Carnap. Bull. Symb. Log. 26 (1) (2020)
Saeed Salehi
On Rudimentarity, Primitive Recursivity and Representability. Reports Math. Log. 55 (2020)
Saeed Salehi
On Rudimentarity, Primitive Recursivity and Representability. CoRR (2019)
Ziba Assadi, Saeed Salehi
On decidability and axiomatizability of some ordered structures. Soft Comput. 23 (11) (2019)
Parvin Safari, Saeed Salehi
Kripke semantics for fuzzy logics. Soft Comput. 22 (3) (2018)
Saeed Salehi
On Axiomatizability of the Multiplicative Theory of Numbers. Fundam. Informaticae 159 (3) (2018)
Saeed Salehi, Payam Seraji
On constructivity and the Rosser property: a closer look at some Gödelean proofs. Ann. Pure Appl. Log. 169 (10) (2018)
Saeed Salehi, Payam Seraji
Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories. J. Log. Comput. 27 (5) (2017)
Saeed Salehi
On the Multiplicative Theory of Numbers. CoRR (2017)
Ziba Assadi, Saeed Salehi
On the Decidability of the Ordered Structures of Numbers. CoRR (2017)
Parvin Safari, Saeed Salehi
Kripke Semantics for Fuzzy Logics. CoRR (2016)
Saeed Salehi, Payam Seraji
Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem. CoRR (2016)
Saeed Salehi
Axiomatizing Mathematical Theories: Multiplication. CoRR (2016)
Saeed Salehi
Computation in Logic and Logic in Computation. CoRR (2016)
Saeed Salehi
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally. CoRR (2015)
Saeed Salehi, Payam Seraji
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories. CoRR (2015)
Ahmad Karimi, Saeed Salehi
Theoremizing Yablo's Paradox. CoRR (2014)
Saeed Salehi, Eric Dubois
Cubic-panorama image dataset analysis for storage and transmission. Visual Information Processing and Communication (2013)
Saeed Salehi
Herbrand consistency of some finite fragments of bounded arithmetical theories. Arch. Math. Log. 52 (3-4) (2013)
Ahmad Karimi, Saeed Salehi
Diagonalizing by Fixed-Points CoRR (2013)
Saeed Salehi
Separating bounded arithmetical theories by Herbrand consistency. J. Log. Comput. 22 (3) (2012)
Saeed Salehi
Herbrand consistency of some arithmetical theories. J. Symb. Log. 77 (3) (2012)
Saeed Salehi
Godel's Incompleteness Phenomenon - Computationally. CoRR (2012)
Saeed Salehi, Eric Dubois
Cubic-panorama image dataset compression. Visual Information Processing and Communication (2012)
Saeed Salehi
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories CoRR (2011)
Saeed Salehi, Eric Dubois
Alignment of cubic-panorama image datasets using epipolar geometry. ICASSP (2011)
Saeed Salehi
Separating Bounded Arithmetics by Herbrand Consistency CoRR (2010)
Saeed Salehi
Herbrand Consistency of Some Arithmetical Theories CoRR (2010)
Saeed Salehi, Magnus Steinby
Tree algebras and varieties of tree languages. Theor. Comput. Sci. 377 (1-3) (2007)
Svein Saebo, Mohammad Bagher Menhaj, S. Ali, Saeed Salehi
A new evolution based training method for dynamic synapse neural networks. Computational Intelligence (2006)
Saeed Salehi
Polynomially Bounded Recursive Realizability. Notre Dame J. Formal Log. 46 (4) (2005)
Saeed Salehi
Varieties of Tree Languages Definable by Syntactic Monoids. Acta Cybern. 17 (1) (2005)
Tatjana Petkovic, Saeed Salehi
Positive varieties of tree languages. Theor. Comput. Sci. 347 (1-2) (2005)
Saeed Salehi
A Completeness Property of Wilke's Tree Algebras. MFCS (2003)
Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. 124 (1-3) (2003)
Saeed Salehi
Provably total functions of Basic Arithmetic. Math. Log. Q. 49 (3) (2003)
Saeed Salehi
Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. Reports Math. Log. 36 (2002)