Larisa Maksimova on Implication, Interpolation, and Definability

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Odintsov, Sergei (Biên tập viên)
Tóm tắt:	XII, 371 p. 9 illus. text
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Phiên bản:	1st ed. 2018.
Loạt:	Outstanding Contributions to Logic, 15
Những chủ đề:	Logic. Mathematical logic. Computer science. Analysis (Philosophy). Computer arithmetic and logic units. Mathematical Logic and Foundations. Computer Science Logic and Foundations of Programming. Analytic Philosophy. Arithmetic and Logic Structures.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-319-69917-2
Định dạng:	Điện tử Sách

Mục lục:

Chapter 1. Maksimova, relevance and the study of lattices of non-classical logics (Sergei Odintsov)
Chapter 2. A short scientific autobiography (Larisa Maksimova)
Chapter 3. Larisa Maksimova’s early contributions to relevance logic (Katalin Bimb´o)
Chapter 4. A note on strictly positive logics and word rewriting systems (Lev Beklemishev)
Chapter 5. Characteristic formulas over intermediate logics (Alex Citkin)
Chapter 6. A Generalization of Maksimova’s Criterion for the Disjunction Property (Alex Citkin).

Những quyển sách tương tự