Mohammad Ardeshir

40 papers Journal 38Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Decomposability of ℝ and dense negative subsets of ℝ in constructive reverse mathematics. Log. J. IGPL Mohammad Ardeshir, Mohammad Tahmasbizadeh
2025	J	`jnl`	A Constructive Interpretation of the Logical constants. Bull. Symb. Log. Mohammad Ardeshir, Wim Ruitenburg
2025	J	`jnl`	The Temporal continuum. Rev. Symb. Log. Mohammad Ardeshir, Rasoul Ramezanian
2025	J	`jnl`	The provably total functions of basic arithmetic and its extensions. Arch. Math. Log. Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari
2024	J	`jnl`	Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL Mohammad Ardeshir, Wim Ruitenburg
2023	J	`jnl`	Unification types in Euclidean modal logics. Log. J. IGPL Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
2019	J	`jnl`	A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. Notre Dame J. Formal Log. Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari
2019	J	`jnl`	Basic propositional logic and the weak excluded middle. Log. J. IGPL Majid Alizadeh, Mohammad Ardeshir
2019	J	`jnl`	THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $. J. Symb. Log. Mohammad Ardeshir, S. Mojtaba Mojtahedi
2018	J	`jnl`	Compactness, colocatedness, measurability and ED. Log. J. IGPL Mohammad Ardeshir, Zahra Ghafouri
2018	J	`jnl`	Latarres, Lattices with an Arrow. Stud Logica Mohammad Ardeshir, Wim Ruitenburg
2018	J	`jnl`	The Σ Ann. Pure Appl. Log. Mohammad Ardeshir, S. Mojtaba Mojtahedi
2017	J	`jnl`	The principle of open induction and Specker sequences. Log. J. IGPL Mohammad Ardeshir, Zahra Ghafouri
2016	J	`jnl`	Boolean Algebras in Visser Algebras. Notre Dame J. Formal Log. Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2015	J	`jnl`	Reduction of provability logics to Σ Log. J. IGPL Mohammad Ardeshir, S. Mojtaba Mojtahedi
2014	J	`jnl`	Completeness of intermediate logics with doubly negated axioms. Math. Log. Q. Mohammad Ardeshir, S. Mojtaba Mojtahedi
2014	J	`jnl`	The de Jongh property for Basic Arithmetic. Arch. Math. Log. Mohammad Ardeshir, S. Mojtaba Mojtahedi
2013	—	`conf`	A new Glivenko Theorem. TACL Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2013	J	`jnl`	Epistemic Learning Programs A Calculus for Describing Epistemic Action Models CoRR Mohammad Ardeshir, Rasoul Ramezanian
2012	J	`jnl`	A solution to the Surprise Exam Paradox in Constructive Mathematics. Rev. Symb. Log. Mohammad Ardeshir, Rasoul Ramezanian
2012	J	`jnl`	A unification of the basic logics of Sambin and Visser. Log. J. IGPL Mohammad Ardeshir, Vahid Vaezian
2012	J	`jnl`	On Löb algebras, II. Log. J. IGPL Majid Alizadeh, Mohammad Ardeshir
2012	J	`jnl`	On the constructive notion of closure maps. Math. Log. Q. Mohammad Ardeshir, Rasoul Ramezanian
2010	J	`jnl`	The double negation of the intermediate value theorem. Ann. Pure Appl. Log. Mohammad Ardeshir, Rasoul Ramezanian
2009	J	`jnl`	Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. Mohammad Ardeshir, Rasoul Ramezanian
2008	J	`jnl`	An Introduction to Basic Arithmetic. Log. J. IGPL Mohammad Ardeshir, Bardyaa Hesaam
2008	—	`ch.`	Ibn Sī: nā's Philosophy of Mathematics. The Unity of Science in the Arabic Tradition Mohammad Ardeshir
2006	J	`jnl`	Amalgamation property for the class of basic algebras and some of its natural subclasses. Arch. Math. Log. Majid Alizadeh, Mohammad Ardeshir
2006	J	`jnl`	On Löb algebras. Math. Log. Q. Majid Alizadeh, Mohammad Ardeshir
2006	J	`jnl`	On some questions of L. Åqvist. Log. J. IGPL Mohammad Ardeshir, Fateme Nabavi
2004	J	`jnl`	On the linear Lindenbaum algebra of Basic Propositional Logic. Math. Log. Q. Majid Alizadeh, Mohammad Ardeshir
2003	J	`jnl`	A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Log. Mojtaba Aghaei, Mohammad Ardeshir
2003	J	`jnl`	Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
2002	J	`jnl`	Every Rooted Narrow Tree Kripke Model of HA is Locally PA. Math. Log. Q. Mohammad Ardeshir, Bardyaa Hesaam
2001	J	`jnl`	Basic Propositional Calculus II. Interpolation. Arch. Math. Log. Mohammad Ardeshir, Wim Ruitenburg
2001	J	`jnl`	Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Stud Logica Mojtaba Aghaei, Mohammad Ardeshir
2000	J	`jnl`	A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. Math. Log. Q. Mojtaba Aghaei, Mohammad Ardeshir
1999	J	`jnl`	A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Stud Logica Mohammad Ardeshir
1998	J	`jnl`	Basic Propositional Calculus I. Math. Log. Q. Mohammad Ardeshir, Wim Ruitenburg
1998	J	`jnl`	Intuitionistic Open Induction and Least Number Principle and the Buss Operator. Notre Dame J. Formal Log. Mohammad Ardeshir, Mojtaba Moniri