Hiroakira Ono on Substructural Logics
portes grátis
Hiroakira Ono on Substructural Logics
Galatos, Nikolaos; Terui, Kazushige
Springer Nature Switzerland AG
12/2021
375
Dura
Inglês
9783030769192
15 a 20 dias
746
Descrição não disponível.
Chapter 1. A scienti?c autobiography (Hiroakira Ono).- Part I: Expository and survey chapters.- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery).- Chapter 3. Abstract algebraic logic - An introductory chapter (Josep Maria Font).- Chapter 4. Topological duality and algebraic completions (Mai Gehrke).- Chapter 5. An algebraic glimpse at bunched implications and separation logic (Peter Jipsen and Tadeusz Litak).- Part II: Special topics.- Chapter 6. Recognizability in Residuated Lattices (Jose Gil-Ferez and Constantine Tsinakis).- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt).- Chapter 9. A negative solution to Ono's Problem P52: Existence and disjunction properties in intermediate predicate logic (Nobu-Yuki Suzuki).- Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Substructural Logics;Residuated Lattices;Algebraic Logic;Duality Theory;Universal Algebra;Bunched Implication Logic;Formal Languages;Ordered Algebra;Intermediate Logics;Full Lambek Calculus
Chapter 1. A scienti?c autobiography (Hiroakira Ono).- Part I: Expository and survey chapters.- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery).- Chapter 3. Abstract algebraic logic - An introductory chapter (Josep Maria Font).- Chapter 4. Topological duality and algebraic completions (Mai Gehrke).- Chapter 5. An algebraic glimpse at bunched implications and separation logic (Peter Jipsen and Tadeusz Litak).- Part II: Special topics.- Chapter 6. Recognizability in Residuated Lattices (Jose Gil-Ferez and Constantine Tsinakis).- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt).- Chapter 9. A negative solution to Ono's Problem P52: Existence and disjunction properties in intermediate predicate logic (Nobu-Yuki Suzuki).- Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
