Obálka

R-Calculus, VI: Finite Injury Priority Method

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B(2/2)-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default lo...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Li, Wei (Autor), Sui, Yuefei (Autor)
Korporativní autor: SpringerLink (Online service)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Vydání:1st ed. 2025.
Edice:Perspectives in Formal Induction, Revision and Evolution,
Témata:
Mathematical logic.
Logic programming.
Computer science > Mathematics.
Mathematical models.
Mathematical Logic and Foundations.
Logic in AI.
Mathematics of Computing.
Mathematical Modeling and Industrial Mathematics.
On-line přístup:https://doi.org/10.1007/978-981-97-5830-2
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • Introduction
  • Finite injury priority method
  • Binary-valued first-order logic. - R-calculus for L3-valued first-order logic
  • R-calculus for B2 2 -valued FOL
  • R-calculus for L4-valued FOL
  • Default logic: finite injury priority method
  • Default logic: tree construction.

Podobné jednotky