V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors

• Pubblicazione: Cham, : Springer, 2022
• Descrizione fisica: xi, 313 p. : ill. ; 24 cm
• Soggetto non controllato: Adding Constants to FDE-based Logics; Canonical Models and Yankov Formulas; Characteristic Formula; Constructive Proofs based on Dialogical Interpretatio; Frame and Subframe Formula; Greek Philosophy and Mathematics; Heyting algebras; Intuitionistic Logic; Invariance Modality; Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces; Lattice of Superintuitionistic Propositional Logics; Markov’s Constructivism; Modal Canonical Formulas; Modal Logic; Pretabular Intermediate Logics; Propositional logic; Splitting Algebra; Ultra-intuitionism; Yankov Characteristic Formulas
• Persona (resp. second.): Citkin, Alex; Vandoulakis, Ioannis M.
• Titolo autorizzato: V.A. Yankov on non-classical logics, history and philosophy of mathematics
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0278240
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-031-06843-0
• Serie: Outstanding Contributions to Logic Berlin [etc.] . -Springer ; 24