The following pages link to Mohammad Ardeshir (Q190271):
Displayed 38 items.
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Omitting types in an intermediate logic (Q539154) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- A translation of intuitionistic predicate logic into basic predicate logic (Q1300007) (← links)
- A Gentzen-style axiomatization for basic predicate calculus (Q1407590) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Latarres, lattices with an arrow (Q1790604) (← links)
- A counterexample to polynomially bounded realizability of basic arithmetic (Q2330507) (← links)
- On Lob algebras, II (Q2903749) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- On Löb algebras (Q3376543) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- Basic Propositional Calculus I (Q4210835) (← links)
- On the linear Lindenbaum algebra of Basic Propositional Logic (Q4458702) (← links)
- A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic (Q4487246) (← links)
- Every Rooted Narrow Tree Kripke Model of HA is Locally PA (Q4530151) (← links)
- The principle of open induction and Specker sequences (Q4644481) (← links)
- Reduction of provability logics to Σ<sub>1</sub>-provability logics (Q4644602) (← links)
- A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS (Q4899965) (← links)
- A unification of the basic logics of Sambin and Visser (Q4914008) (← links)
- Compactness, colocatedness, measurability and ED (Q5095634) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- Avicenna on the Primary Propositions (Q5208098) (← links)
- Basic propositional logic and the weak excluded middle (Q5382587) (← links)
- Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)
- An Introduction to Basic Arithmetic (Q5448843) (← links)
- On some questions of L. Åqvist (Q5479021) (← links)
- Intuitionistic open induction and least number principle and the Buss operator (Q5937815) (← links)
- Basic propositional calculus. II: Interpolation (Q5945567) (← links)
- Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic (Q5954710) (← links)
- Boolean algebras in Visser algebras (Q5963204) (← links)
- Unification types in Euclidean modal logics (Q6111080) (← links)
- The $\Sigma$_1 Provability Logic of HA (Q6254799) (← links)
- The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions (Q6336059) (← links)