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