02779nam0 22005893i 450 VAN0027824020240806101550.352N978303106843020240619d2022 |0itac50 baengCH|||| |||||V.A. Yankov on Non-Classical Logics, History and Philosophy of MathematicsAlex Citkin, Ioannis M. Vandoulakis editorsChamSpringer2022xi, 313 p.ill.24 cm001VAN001243802001 Outstanding Contributions to Logic210 Berlin [etc.]Springer2400B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03BxxGeneral logic [MSC 2020]VANC024425MF03G25Other algebras related to logic [MSC 2020]VANC023772MFAdding Constants to FDE-based LogicsKW:KCanonical Models and Yankov FormulasKW:KCharacteristic FormulaKW:KConstructive Proofs based on Dialogical InterpretatioKW:KFrame and Subframe FormulaKW:KGreek Philosophy and MathematicsKW:KHeyting algebrasKW:KIntuitionistic LogicKW:KInvariance ModalityKW:KLattice NExtS4 as a Puzzle Composed of NExtInt-PiecesKW:KLattice of Superintuitionistic Propositional LogicsKW:KMarkov’s ConstructivismKW:KModal Canonical FormulasKW:KModal LogicKW:KPretabular Intermediate LogicsKW:KPropositional logicKW:KSplitting AlgebraKW:KUltra-intuitionismKW:KYankov Characteristic FormulasKW:KCHChamVANL001889CitkinAlexVANV230762VandoulakisIoannis M.VANV230764Springer <editore>VANV108073650ITSOL20240906RICAhttps://doi.org/10.1007/978-3-031-06843-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00278240BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8935 08eMF8935 20240701 V.A. Yankov on non-classical logics, history and philosophy of mathematics3071098UNICAMPANIA