Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Saeed Salehi
Observed names:
SAEED SALEHI,
Salehi, Saeed
Institution:
Plaksha University
Observed institutions:
University of Notre Dame,
University of Turku,
Institute for Advanced Studies in Basic Sciences,
Turku Centre for Computer Science,
University of Tabriz,
Institute for Research in Fundamental Sciences,
Plaksha University
show all 7
ORCID:
0000-0001-6961-5749
Observed ORCID:
0000-0001-6961-5749
OpenAlex ID:
A5028651659
Provably total functions of Basic Arithmetic
2003
·
Saeed Salehi
·
Mathematical logic quarterly
·
18
Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theories
2016
·
Saeed Salehi
, Payam Seraji
·
Journal of Logic and Computation
·
15
PDF
Tree algebras and varieties of tree languages
2007
·
Saeed Salehi
, Magnus Steinby
·
Theoretical Computer Science
·
15
Varieties of Tree Languages
2005
·
Saeed Salehi
·
11
Positive varieties of tree languages
2005
·
Tatjana Petković
, Saeed Salehi
·
Theoretical Computer Science
·
8
PDF
On the Diagonal Lemma of Gödel and Carnap
2020
·
SAEED SALEHI
·
Bulletin of Symbolic Logic
·
5
On constructivity and the Rosser property: a closer look at some Gödelean proofs
2018
·
Saeed Salehi
, Payam Seraji
·
Annals of Pure and Applied Logic
·
5
PDF
On Axiomatizability of the Multiplicative Theory of Numbers
2018
·
Saeed Salehi
·
Fundamenta Informaticae
·
5
PDF
Axiomatizing Mathematical Theories: Multiplication
2016
·
Salehi, Saeed
·
arXiv (Cornell University)
·
5
PDF
Herbrand consistency of some arithmetical theories
2012
·
Saeed Salehi
·
Journal of Symbolic Logic
·
5
PDF
There May Be Many Arithmetical Gödel Sentences†
2020
·
Kaave Lajevardi
, Saeed Salehi
·
Philosophia Mathematica
·
4
PDF
Theoremizing Yablo's Paradox
2014
·
Karimi, Ahmad
, Salehi, Saeed
·
arXiv (Cornell University)
·
4
PDF
Gödel’s Incompleteness Phenomenon—Computationally
2014
·
Saeed Salehi
·
Philosophia Scientae
·
4
PDF
Varieties of many-sorted recognizable sets
2007
·
Saeed Salehi
, Magnus Steinby
·
4
A reunion of Gödel, Tarski, Carnap and Rosser
2023
·
Saeed Salehi
·
Journal of Logic and Computation
·
3
PDF
Diagonal arguments and fixed points
2017
·
Saeed Salehi
·
PhilPapers (PhilPapers Foundation)
·
3
PDF
Kripke semantics for fuzzy logics
2016
·
Parvin Safari
, Saeed Salehi
·
Soft Computing
·
3
PDF
Intuitionistic axiomatizations for bounded extension Kripke models
2003
·
Mohammad Ardeshir
, Wim Ruitenburg
, et al.
·
Annals of Pure and Applied Logic
·
3
A Completeness Property of Wilke’s Tree Algebras
2003
·
Saeed Salehi
·
Lecture notes in computer science
·
3
On Gödel's ‘Much Weaker’ Assumption
2025
·
Saeed Salehi
·
History and Philosophy of Logic
·
2
PDF
On decidability and axiomatizability of some ordered structures
2018
·
Ziba Assadi
, Saeed Salehi
·
Soft Computing
·
2
PDF
Computation in Logic and Logic in Computation
2016
·
Salehi, Saeed
·
arXiv (Cornell University)
·
2
PDF
Diagonalizing by Fixed-Points
2013
·
Karimi, Ahmad
, Salehi, Saeed
·
arXiv (Cornell University)
·
2
PDF
Herbrand consistency of some finite fragments of bounded arithmetical theories
2012
·
Saeed Salehi
·
Archive for Mathematical Logic
·
2
PDF
Polynomially Bounded Recursive Realizability
2005
·
Saeed Salehi
·
Notre Dame Journal of Formal Logic
·
2
PDF
Show more works
View as search
Works count:
44
Citation count:
142
H-index:
5
I10-index:
4
Year
Topic
Type
