Mohammad Ardeshir

According to our database, Mohammad Ardeshir authored at least 36 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Kolmogorov and Kuroda Translations Into Basic Predicate Logic.

Mohammad Ardeshir, Wim Ruitenburg

Log. J. IGPL, January, 2024

2023

Unification types in Euclidean modal logics.

Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi

Log. J. IGPL, May, 2023

2019

A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic.

Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari

Notre Dame J. Formal Log., 2019

THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

J. Symb. Log., 2019

Basic propositional logic and the weak excluded middle.

Majid Alizadeh, Mohammad Ardeshir

Log. J. IGPL, 2019

2018

Latarres, Lattices with an Arrow.

Mohammad Ardeshir, Wim Ruitenburg

Stud Logica, 2018

Compactness, colocatedness, measurability and ED.

Mohammad Ardeshir, Zahra Ghafouri

Log. J. IGPL, 2018

The Σ₁-provability logic of HA.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Ann. Pure Appl. Log., 2018

2017

The principle of open induction and Specker sequences.

Mohammad Ardeshir, Zahra Ghafouri

Log. J. IGPL, 2017

2016

Boolean Algebras in Visser Algebras.

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg

Notre Dame J. Formal Log., 2016

2015

Reduction of provability logics to Σ₁-provability logics.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Log. J. IGPL, 2015

2014

Completeness of intermediate logics with doubly negated axioms.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Math. Log. Q., 2014

The de Jongh property for Basic Arithmetic.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Arch. Math. Log., 2014

2013

Epistemic Learning Programs A Calculus for Describing Epistemic Action Models

Mohammad Ardeshir, Rasoul Ramezanian

CoRR, 2013

A new Glivenko Theorem.

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

A solution to the Surprise Exam Paradox in Constructive Mathematics.

Mohammad Ardeshir, Rasoul Ramezanian

Rev. Symb. Log., 2012

On the constructive notion of closure maps.

Mohammad Ardeshir, Rasoul Ramezanian

Math. Log. Q., 2012

A unification of the basic logics of Sambin and Visser.

Mohammad Ardeshir, Vahid Vaezian

Log. J. IGPL, 2012

On Löb algebras, II.

Majid Alizadeh, Mohammad Ardeshir

Log. J. IGPL, 2012

2010

The double negation of the intermediate value theorem.

Mohammad Ardeshir, Rasoul Ramezanian

Ann. Pure Appl. Log., 2010

2009

Decidability and Specker sequences in intuitionistic mathematics.

Mohammad Ardeshir, Rasoul Ramezanian

Math. Log. Q., 2009

2008

Ibn Sī: nā's Philosophy of Mathematics.

Mohammad Ardeshir

Proceedings of the Unity of Science in the Arabic Tradition, 2008

An Introduction to Basic Arithmetic.

Mohammad Ardeshir, Bardyaa Hesaam

Log. J. IGPL, 2008

2006

On Löb algebras.

Majid Alizadeh, Mohammad Ardeshir

Math. Log. Q., 2006

On some questions of L. Åqvist.

Mohammad Ardeshir, Fateme Nabavi

Log. J. IGPL, 2006

Amalgamation property for the class of basic algebras and some of its natural subclasses.

Majid Alizadeh, Mohammad Ardeshir

Arch. Math. Log., 2006

2004

On the linear Lindenbaum algebra of Basic Propositional Logic.

Majid Alizadeh, Mohammad Ardeshir

Math. Log. Q., 2004

2003

Intuitionistic axiomatizations for bounded extension Kripke models.

Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi

Ann. Pure Appl. Log., 2003

A Gentzen-style axiomatization for basic predicate calculus.

Mojtaba Aghaei, Mohammad Ardeshir

Arch. Math. Log., 2003

2002

Every Rooted Narrow Tree Kripke Model of HA is Locally PA.

Mohammad Ardeshir, Bardyaa Hesaam

Math. Log. Q., 2002

2001

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.

Mojtaba Aghaei, Mohammad Ardeshir

Stud Logica, 2001

Basic Propositional Calculus II. Interpolation.

Mohammad Ardeshir, Wim Ruitenburg

Arch. Math. Log., 2001

2000

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.

Mojtaba Aghaei, Mohammad Ardeshir

Math. Log. Q., 2000

1999

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic.

Mohammad Ardeshir

Stud Logica, 1999

1998

Intuitionistic Open Induction and Least Number Principle and the Buss Operator.

Mohammad Ardeshir, Mojtaba Moniri

Notre Dame J. Formal Log., 1998

Basic Propositional Calculus I.

Mohammad Ardeshir, Wim Ruitenburg

Math. Log. Q., 1998