Larisa Maksimova on Implication, Interpolation, and Definability

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definabili...

Full description

Saved in:
Bibliographic Details
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing, 2018.
Edition:1st ed. 2018.
Series:Outstanding Contributions to Logic, 15
Subjects:
Logic.
Mathematical logic.
Computer logic.
Analysis (Philosophy).
Arithmetic and logic units, Computer.
ISBN:9783319699172
ISSN:2211-2758 ;
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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).

Similar Items