Mohammad Ardeshir

Available identifiers

zbMath Open ardeshir.mohammadMaRDI QIDQ190271

List of research outcomes

Publication	Date of Publication	Type
Kolmogorov and Kuroda translations into basic predicate logic	2024-11-15	Paper
A logical framework for the Islamic law	2024-10-14	Paper
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
Reduction of provability logics to Σ1-provability logics	2019-01-08	Paper
The principle of open induction and Specker sequences	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 Löb 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

This page was built for person: Mohammad Ardeshir