fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Galatos / Terui

Hiroakira Ono on Substructural Logics

Medium: Buch
ISBN: 978-3-030-76922-2
Verlag: Springer
Erscheinungstermin: 15.12.2022
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science.

It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions.  This book will be primarily of interest to researchers working in algebraic and non-classical logic.

Produkteigenschaften

  • Artikelnummer: 9783030769222
  • Medium: Buch
  • ISBN: 978-3-030-76922-2
  • Verlag: Springer
  • Erscheinungstermin: 15.12.2022
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2022
  • Serie: Outstanding Contributions to Logic
  • Produktform: Kartoniert, Paperback
  • Gewicht: 587 g
  • Seiten: 375
  • Format (B x H x T): 155 x 235 x 21 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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 (José Gil-Férez and Constantine Tsinakis).- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Hor¿ík). 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).