Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics
Diese Monographie stellt eine allgemeine Theorie der schwach implikativen Logiken vor, einer Familie, die eine große Anzahl von in der Literatur untersuchten nicht-klassischen Logiken umfasst, und konzentriert sich hauptsächlich auf die abstrakte Untersuchung der Beziehung zwischen Logiken und ihrer algebraischen Semantik. Es kann auch als Einführung in die (abstrakte) algebraische Logik dienen, sowohl in die Aussagenlogik als auch in die Logik erster Ordnung, mit besonderem Augenmerk auf die Rolle der Implikation, des Verbandes und der residuierten Konnektive sowie der verallgemeinerten Disjunktionen.
Auf der Grundlage ihrer jüngsten Arbeiten entwickeln die Autoren einen leistungsfähigen einheitlichen Rahmen für das Studium nicht-klassischer Logiken. Ausgehend von sehr elementaren Begriffen bauen sie in einem eigenständigen und didaktischen Stil eine allgemeine Theorie mit einer beträchtlichen Anzahl von abstrakten Ergebnissen auf. Die Theorie wird dann angewandt, um zahlreiche Ergebnisse für prominente Familien von Logiken und ihre algebraischen Gegenstücke zu erhalten, insbesondere für superintuitionistische, modale, substrukturelle, unscharfe und relevante Logiken.
Das Buch dürfte für ein breites Publikum von Interesse sein, insbesondere für Studenten und Wissenschaftler aus den Bereichen Mathematik, Philosophie, Informatik oder verwandten Gebieten, die eine Einführung in eine allgemeine Theorie der nicht-klassischen Logik und ihrer algebraischen Semantik suchen.
| ISBN: | 9783030856779 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
