Login / Signup
Payam Seraji
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 4
Top Topics
Theorem Prover
Action Theories
Formal Proofs
Desirable Properties
Top Venues
CoRR
Log. J. IGPL
J. Log. Comput.
Ann. Pure Appl. Log.
</>
Publications
</>
Conden Chao
,
Payam Seraji
Gödel's second incompleteness theorem for Σ n -definable theories.
Log. J. IGPL
26 (2) (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
,
Payam Seraji
Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.
CoRR
(2016)
Saeed Salehi
,
Payam Seraji
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories.
CoRR
(2015)