Larisa Maksimova on Implication, Interpolation, and Definability
| 企业作者: | |
|---|---|
| 其他作者: | |
| 总结: | XII, 371 p. 9 illus. text |
| 语言: | 英语 |
| 出版: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| 版: | 1st ed. 2018. |
| 丛编: | Outstanding Contributions to Logic,
15 |
| 主题: | |
| 在线阅读: | https://doi.org/10.1007/978-3-319-69917-2 |
| 格式: | 电子 图书 |
书本目录:
- 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).