Mohammad Ardeshir

Available identifiers

zbMath Open ardeshir.mohammadMaRDI QIDQ190271

List of research outcomes

Publication	Date of Publication	Type
Unification types in Euclidean modal logics	2023-07-06	Paper
Compactness, colocatedness, measurability and ED	2022-08-10	Paper
The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions	2020-03-03	Paper
Avicenna on the Primary Propositions	2020-01-15	Paper
A counterexample to polynomially bounded realizability of basic arithmetic	2019-10-22	Paper
THE -PROVABILITY LOGIC OF	2019-09-17	Paper
Basic propositional logic and the weak excluded middle	2019-06-18	Paper
The principle of open induction and Specker sequences	2019-01-08	Paper
Reduction of provability logics to Σ1-provability logics	2019-01-08	Paper
Latarres, lattices with an arrow	2018-10-02	Paper
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)	2018-07-17	Paper
Boolean algebras in Visser algebras	2016-03-04	Paper
The de Jongh property for basic arithmetic	2014-12-15	Paper
The $\Sigma$_1 Provability Logic of HA	2014-09-19	Paper
Completeness of intermediate logics with doubly negated axioms	2014-03-21	Paper
A unification of the basic logics of Sambin and Visser	2013-04-17	Paper
A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS	2013-01-10	Paper
On the constructive notion of closure maps	2012-09-12	Paper
On Lob algebras, II	2012-08-01	Paper
The double negation of the intermediate value theorem	2011-08-26	Paper
Decidability and Specker sequences in intuitionistic mathematics	2009-12-14	Paper
An Introduction to Basic Arithmetic	2008-03-07	Paper
Amalgamation property for the class of basic algebras and some of its natural subclasses	2007-01-24	Paper
On some questions of L. Åqvist	2006-07-06	Paper
On Löb algebras	2006-03-24	Paper
On the linear Lindenbaum algebra of Basic Propositional Logic	2004-03-15	Paper
Intuitionistic axiomatizations for bounded extension Kripke models.	2003-11-25	Paper
A Gentzen-style axiomatization for basic predicate calculus	2003-09-16	Paper
Every Rooted Narrow Tree Kripke Model of HA is Locally PA	2002-07-24	Paper
Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic	2002-04-14	Paper
Intuitionistic open induction and least number principle and the Buss operator	2001-07-17	Paper
Basic propositional calculus. II: Interpolation	2001-01-01	Paper
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic	2000-12-06	Paper
A translation of intuitionistic predicate logic into basic predicate logic	2000-03-13	Paper
Basic Propositional Calculus I	1999-05-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mohammad Ardeshir