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).