Verallgemeinerte Galois-Logik: Relationale Semantik der nichtklassischen logischen Kalküle

Originaltitel:

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Inhalt des Buches:

Nichtklassische Logiken haben in den letzten Jahren eine wachsende Rolle in Disziplinen gespielt, die von der Mathematik und Informatik bis zur Linguistik und Philosophie reichen.

Generalized Galois Logics entwickelt einen einheitlichen Rahmen relationaler Semantik, um zwischen logischen Kalkülen und ihrer Semantik durch Algebra zu vermitteln. Dieser Band behandelt normale Modallogiken wie K und S5 sowie substrukturelle Logiken, einschließlich Relevanzlogiken, linearer Logik und Lambek-Kalkülen.

Die Autoren behandeln auch weniger bekannte und neue logische Systeme mit gleicher Geschicklichkeit.

Weitere Daten des Buches:

• ISBN: 9781575865744
• Autor: Katalin Bimb
• Verlag: Ctr For Study Of Lang & Info
• Sprache: Englisch
• Einband: Taschenbuch
• Erscheinungsjahr: 2008
• Seitenzahl: 394