390 citations
- Institute for Research in Fundamental SciencesIR72 papers
- Azarbaijan Shahid Madani UniversityIR29 papers
- Research Institute for Astronomy and Astrophysics of MaraghIR26 papers
- Centre National de la Recherche ScientifiqueFR16 papers
- Islamic Azad University, TehranIR16 papers
- Institute for Cognitive Science StudiesIR15 papers
- Islamic Azad University of TabrizIR12 papers
- University of ZanjanIR12 papers
- Institut d'Astrophysique de ParisFR10 papers
- Payame Noor UniversityIR10 papers
- Sharif University of TechnologyIR10 papers
- Shahid Beheshti UniversityIR7 papers
4 papers · 2 filters
Computation in Logic and Logic in Computation
Saeed Salehi
The theory of addition in the domains of natural (N), integer (Z), rational (Q), real (R) and complex (C) numbers is decidable, so is the theory of multiplication in all those doma…
On Constructivity and the Rosser Property: a closer look at some Gödelean proofs
Saeed Salehi, Payam Seraji
The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incomp…
Kripke Semantics for Fuzzy Logics
Parvin Safari, Saeed Salehi
Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive…
On Arithmetical Truth of the Self-Referential Sentences
Kaave Lajevardi, Saeed Salehi
We take an argument of Gödel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence says about itself th…