001433847 000__ 05333cam\a2200625\i\4500
001433847 001__ 1433847
001433847 003__ OCoLC
001433847 005__ 20230309003656.0
001433847 006__ m\\\\\o\\d\\\\\\\\
001433847 007__ cr\cn\nnnunnun
001433847 008__ 210213s2021\\\\sz\\\\\\ob\\\\011\0\eng\d
001433847 019__ $$a1237525455$$a1244117318
001433847 020__ $$a9783030536541$$q(electronic bk.)
001433847 020__ $$a3030536548$$q(electronic bk.)
001433847 020__ $$z9783030536534
001433847 020__ $$z303053653X
001433847 0247_ $$a10.1007/978-3-030-53654-1$$2doi
001433847 035__ $$aSP(OCoLC)1237403527
001433847 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCO$$dDCT$$dOCLCF$$dUKAHL$$dOCLCQ$$dOCLCO$$dSHC$$dOCLCQ
001433847 049__ $$aISEA
001433847 050_4 $$aQA9.2
001433847 08204 $$a511.3$$223
001433847 24500 $$aMathematics, logic, and their philosophies :$$bessays in honour of Mohammad Ardeshir /$$cMojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour, editors.
001433847 264_1 $$aCham :$$bSpringer,$$c[2021]
001433847 300__ $$a1 online resource (492 pages)
001433847 336__ $$atext$$btxt$$2rdacontent
001433847 337__ $$acomputer$$bc$$2rdamedia
001433847 338__ $$aonline resource$$bcr$$2rdacarrier
001433847 347__ $$atext file
001433847 347__ $$bPDF
001433847 4901_ $$aLogic, epistemology, and the unity of science ;$$vvolume 49
001433847 504__ $$aIncludes bibliographical references and indexes.
001433847 5050_ $$aChapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour) -- Chapter 2. Extension and Interpretability (Albert Visser) -- Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono) -- Chapter 4. Bounded Distributive Lattices with Two Subordinations (Sergio Celani and Roman Jansana) -- Chapter 5. The Termination Condition of Gossip Protocols (Rahim Ramezanian, Rasool Ramezanian, and Hans van Ditmarsch) -- Chapter 6. On equivalence (Wim Veldman) -- Chapter 7. Unification in basic logic (Mojatba Mojtahedi) -- Chapter 8. Binary Modal Companions for Subintuitionistic Logics (Dick de Jongh and Fateme Shirmohammadzade Maleki) -- Chapter 9. From Intuitionism to Many-Valued Logics through Kripke Models (Saeed Salehi Pourmehr) -- Chapter 10. The Intuitionistic Logic of Language (Mehrnoosh Sadrzadeh) -- Chapter 11. Non-Conditional Contracting Connectives (Luis Estrada-Gonzalez and Elisangela Ramirez-Camara) -- Chapter 12. The Struggle between Syntax and Semantics in Mathematics (Siavash Shahshahani) -- Chapter 13. De-Modalizeing the Language in an Empiricist-Friendly Way: The Case of Physics (Kave Lajevardi) -- Chapter 14. Avicenna on Deductions from Contradictory Premises (Behnam Zolghar) -- Chapter 15. On Descriptive Propositions in Ibn Sina: Elements for a Logical Analysis (Shahid Rahman and Mohammad Saleh Zarepour) -- Chapter 16. TBA (Ali Farjami) -- Chapter 17. Empiricism of Avicenna Reconsidered (Seyed N. Mousavian).
001433847 506__ $$aAccess limited to authorized users.
001433847 520__ $$aThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicennas logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.
001433847 588__ $$aDescription based on print version record.
001433847 650_0 $$aLogic, Symbolic and mathematical.
001433847 650_0 $$aLogic, Symbolic and mathematical$$xPhilosophy.
001433847 650_6 $$aLogique symbolique et mathématique.
001433847 650_6 $$aLogique symbolique et mathématique$$xPhilosophie.
001433847 655_7 $$aFestschriften.$$2fast$$0(OCoLC)fst01941036
001433847 655_7 $$aFestschriften.$$2lcgft
001433847 655_0 $$aElectronic books.
001433847 7001_ $$aArdeshir, Mohammad,$$ehonouree.
001433847 7001_ $$aMojtahedi, Mojtaba,$$eeditor.
001433847 7001_ $$aRahman, Shahid,$$eeditor.
001433847 7001_ $$aZarepour, Mohammad Saleh,$$eeditor.
001433847 77608 $$iPrint version:$$aMojtahedi, Mojtaba.$$tMathematics, Logic, and Their Philosophies.$$dCham : Springer International Publishing AG, ©2021$$z9783030536534
001433847 830_0 $$aLogic, epistemology and the unity of science ;$$vv. 49.
001433847 852__ $$bebk
001433847 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-53654-1$$zOnline Access$$91397441.1
001433847 909CO $$ooai:library.usi.edu:1433847$$pGLOBAL_SET
001433847 980__ $$aBIB
001433847 980__ $$aEBOOK
001433847 982__ $$aEbook
001433847 983__ $$aOnline
001433847 994__ $$a92$$bISE