Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir
Springer (2021)
Authors |
|
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories |
No categories specified (categorize this paper) |
Buy this book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() ![]() |
Download options

References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Σ1-Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - forthcoming - Journal of Symbolic Logic:1-18.
The Σ 1 -Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & Mohammad Saleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
Reduction of Provability Logics to Σ1-Provability Logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.
A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
The -Provability Logic Of.Mohammad Ardeshir & Mojtaba Mojtahedi - 2019 - Journal of Symbolic Logic 84 (3):1118-1135.
Completeness of Intermediate Logics with Doubly Negated Axioms.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Mathematical Logic Quarterly 60 (1-2):6-11.
Basic Propositional Logic and the Weak Excluded Middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.
Compactness, Colocatedness, Measurability and ED.Mohammad Ardeshir & Zahra Ghafouri - 2018 - Logic Journal of the IGPL 26 (2):244-254.
On the Constructive Notion of Closure Maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
The Principle of Open Induction and Specker Sequences.Mohammad Ardeshir & Zahra Ghafouri - 2017 - Logic Journal of the IGPL 25 (2):232-238.
A Bounded Translation of Intuitionistic Propositional Logic Into Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2000 - Mathematical Logic Quarterly 46 (2):195-206.
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
A Translation of Intuitionistic Predicate Logic Into Basic Predicate Logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
A. R. Wadia: Essays in Philosophy Presented in His Honour.Robert W. Browning - 1957 - Philosophical Review 66 (2):277-279.
Analytics
Added to PP index
2021-02-21
Total views
0
Recent downloads (6 months)
0
2021-02-21
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.