Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors

• Pubblicazione: Cham, : Springer, 2021
• Descrizione fisica: xviii, 483 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 00B30 - Festschriften [MSC 2020]; 03Bxx - General logic [MSC 2020]; 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
• Soggetto non controllato: Arabic Logic; Arabic Philosophy of Mathematics; Avicenna on Deductions from Contradictory Premises; Basic Logic; Binary Modal Companions for Subintuitionistic Logics; Bounded Distributive Lattices with Two Subordinations; Constructive logic; Constructive mathematics; Intuitionism to Many-Valued Logics through Kripke Models; Intuitionistic Logic; Intuitionistic Logic of Language; Intuitionistic Philosophy of Mathematics; Mohammad Ardeshir; Non-Conditional Contracting Connectives; Residuated Expansions of Lattice-Ordered Structures; Struggle between Syntax and Semantics in Mathematics; Substructural Logic; Termination Condition of Gossip Protocols; Unification in basic logic
• Persona (resp. second.): Mojtahedi, Mojtaba; Rahman, Shahid; Zarepour, Mohammad Saleh
• Titolo autorizzato: Mathematics, logic, and their philosophies
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0274944
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-030-53654-1
• Serie: Logic, Epistemology, and the Unity of Science Berlin [etc.] . -Springer ; 49