02079nam0 22005053i 450 VAN027824020240619085832.546N978303106843020240619d2022 |0itac50 baengCH|||| |||||V.A. Yankov on Non-Classical Logics, History and Philosophy of MathematicsAlex Citkin, Ioannis M. Vandoulakis editorsChamSpringer2022xi, 313 p.ill.24 cm001VAN01243802001 Outstanding Contributions to Logic210 Berlin [etc.]Springer24Adding 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>VANV108073650ITSOL20240621RICAhttps://doi.org/10.1007/978-3-031-06843-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethNVAN0278240V.A. Yankov on non-classical logics, history and philosophy of mathematics3071098UNICAMPANIA