10 citations · 52 across the 24 of their papers we have counts for
5 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…
Axiomatizing Mathematical Theories: Multiplication
Saeed Salehi
Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and…
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…