Solvable cases of the decision problem.

Provability, Computability and Reflection.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Ackermann, W. (Wilhelm), 1896-1962
Format: Electronic eBook
Language:Inglés
Published: Amsterdam, North-Holland Pub. Co., 1954.
Series:Studies in logic and the foundations of mathematics.
Subjects:
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
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • 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.

Similar Items