Solvable cases of the decision problem.

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ackermann, W. (Wilhelm), 1896-1962
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1954.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Logic, Symbolic and mathematical.
Decision making.
Decision Making
Logique symbolique et math�ematique.
Prise de d�ecision.
decision making.
Decision making
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • Validity and statisfiability in finite domains
  • Decision proglem
  • Solution of the decision problem for well-formed formulas only monadic predicate variables
  • Some general theorems about the validity of formulas of the predicate calculus of first order including equality
  • Solution of the decision problem for Wffs with special prefixes
  • Further classes of prefixes for which the decision problem can be solved
  • General remarks about further investigations
  • Decision problem for Wffs with functional variables.

Ejemplares similares