Larisa Maksimova on implication, interpolation, and definability. ([2018])

• Record Type: Book
• Further Information: Note: Sergei Odintsov, editor.
• Editors: Odintsov, Sergei
• 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).
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xii, 371 pages)
• Subjects: 160; Philosophy; Logic, Symbolic and mathematical; PHILOSOPHY / Logic; Logic, Symbolic and mathematical; Mathematics -- Logic; Computers -- Programming -- General; Philosophy -- Movements -- Analytic; Computers -- Logic Design; Mathematical foundations; Computer programming / software development; Analytical philosophy & Logical Positivism; Algorithms & data structures; Logic; Logic design; Analysis (Philosophy); Computer science; Philosophy -- Logic; Philosophy: logic; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319699172; 3319699172
• Related ISBNs: 9783319699165; 3319699164
• Notes: Note: Includes bibliographical references and index.; Note: Description based on online resource; title from digital title page (viewed on April 02, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.