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