R-Calculus, II: Vielwertige Logiken

R-Calculus, II: Vielwertige Logiken (Wei Li)

Originaltitel:

R-Calculus, II: Many-Valued Logics

Inhalt des Buches:

Dieser zweite Band der Buchreihe zeigt, dass der R-Kalkül eine Kombination aus einem monotonen Tableau-Beweis-System und einem nicht-monotonen ist. Der R-Kalkül ist ein Deduktionssystem vom Gentzen-Typ, das nicht monoton ist, und ist ein konkreter Glaubensrevisionsoperator, der nachweislich die AGM-Postulate und die DP-Postulate erfüllt.

Es werden die algebraischen und logischen Eigenschaften von Tableau-Beweis-Systemen und R-Kalkülen in vielwertigen Logiken diskutiert. Dieses Buch bietet eine reichhaltige Mischung aus Theorie und Praxis.

Es ist für Studenten, Forscher und Praktiker auf dem Gebiet der Logik geeignet. Es ist auch sehr nützlich für alle, die sich für Daten, Digitalisierung, Korrektheit und Konsistenz von Informationen, Modallogiken, nicht monotone Logiken, entscheidbare/unentscheidbare Logiken, logische Programmierung, Beschreibungslogiken, Standardlogiken und semantische Vererbungsnetzwerke interessieren.

Weitere Daten des Buches:

ISBN:9789811692963
Autor:
Wei Li
Verlag:
Springer Nature
Sprache:Englisch
Einband:Taschenbuch
Erscheinungsjahr:2023
Seitenzahl:271

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Tagungsband der 6. Konferenz für Ton- und Musiktechnologie (Csmt): Revised Selected Papers -...
Springer Nature
Dieses Buch befasst sich mit dem Einsatz...
Tagungsband der 6. Konferenz für Ton- und Musiktechnologie (Csmt): Revised Selected Papers - Proceedings of the 6th Conference on Sound and Music Technology (Csmt): Revised Selected Papers
Öffentliche Verwaltung in Hongkong: Reformdynamik und von der Exekutive geleitete öffentliche...
Routledge
Dieses Buch befasst sich mit den Beziehungen zwischen...
Öffentliche Verwaltung in Hongkong: Reformdynamik und von der Exekutive geleitete öffentliche Politik - Public Administration in Hong Kong: Dynamics of Reform and Executive-Led Public Policy
Echokardiographie bei angeborenen Herzfehlern bei Erwachsenen - Echocardiography in Adult Congenital...
Springer Pg
Dieses Buch bietet Kardiologen Zugang zu den...
Echokardiographie bei angeborenen Herzfehlern bei Erwachsenen - Echocardiography in Adult Congenital Heart Disease
R-Kalkül: Eine Logik der Überzeugungsrevision - R-Calculus: A Logic of Belief Revision
Springer Nature
In diesem Buch werden neue Modelle auf der Grundlage des R-Kalküls und...
R-Kalkül: Eine Logik der Überzeugungsrevision - R-Calculus: A Logic of Belief Revision
R-Calculus, II: Vielwertige Logiken - R-Calculus, II: Many-Valued Logics
Springer Nature
Dieser zweite Band der Buchreihe zeigt, dass der R-Kalkül eine Kombination aus einem...
R-Calculus, II: Vielwertige Logiken - R-Calculus, II: Many-Valued Logics
R-Calculus, II: Vielwertige Logiken - R-Calculus, II: Many-Valued Logics
Springer Nature
1 Einleitung 111. 1 Glaubensüberprüfung..................... 111. 2...
R-Calculus, II: Vielwertige Logiken - R-Calculus, II: Many-Valued Logics

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

Springer Nature
Routledge
Springer Pg