Keywords:
Logic, Symbolic and mathematical
;
Logic, Symbolic and mathematical
;
Logic, Symbolic and mathematical
;
Electronic books
Description / 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
Type of Medium:
Online Resource
Pages:
Online-Ressource (viii, 114 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444533807
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 15
URL:
http://www.sciencedirect.com/science/book/9780444533807
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/15
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/15
URL:
https://www.sciencedirect.com/science/book/9780444533807
Parallel Title:
Stegmüller, Wolfgang Rezensiert in [Rezension von: Ackermann, W., Solvable Cases of the Decision Problem. Studies in Logic and the Foundations of Mathematics]
Language:
English
Note:
Includes bibliographical references
,
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.
,
Electronic reproduction
,
English
Permalink