Larisa Maksimova on Implication, Interpolation, and Definability

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

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• A filosofia analítica e positivismo lógico
• Fundamentos da Matemática
• Filosofia: a lógica
• Algoritmos e estruturas de dados
• Arquitectura do computador e projecto lógico

Larisa Maximova;Rigorous Implication;Relevance Logic Maksimova;Lattice of Logics;Algebraic Logic Maksimova;Modal Logic Maksimova;Interpolation Maksimova;Definability Maksimova;Superintuitionistic Logic;Admissible Rule;Decidability Maksimova;Maksimova Non-classical Logic;Relational Semantics;Algebraic Semantics;Relevance Logics;Logic of Entailment;Superintuitionistic Logic;Polymodal Logic;Disjunction Property;?-Calculus