Mathematics, Logic, and their Philosophies

Mathematics, Logic, and their Philosophies

Essays in Honour of Mohammad Ardeshir

Mojtahedi, Mojtaba; Zarepour, Mohammad Saleh; Rahman, Shahid

Springer Nature Switzerland AG

02/2022

483

Mole

Inglês

9783030536565

15 a 20 dias

765

Descrição não disponível.
Chapter 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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Intuitionistic Logic;Constructive Logic;Basic Logic;Constructive Mathematics;Substructural Logic;Intuitionistic Philosophy of Mathematics;L. E. J. Brouwer;Arabic Logic;Arabic Philosophy of Mathematics;Mohammad Ardeshir;Residuated Expansions of Lattice-Ordered Structures;Bounded Distributive Lattices with Two Subordinations;Unification in basic logic;Termination Condition of Gossip Protocols;Binary Modal Companions for Subintuitionistic Logics;Intuitionism to Many-Valued Logics through Kripke Models;Intuitionistic Logic of Language;Non-Conditional Contracting Connectives;Struggle between Syntax and Semantics in Mathematics;Avicenna on Deductions from Contradictory Premises