Calculus of standard quantor formulas
type: Item
instance of: scholarly article
title: Calculus of standard quantor formulas
zbMATH Open document ID: 0874.03013
author: S. N. Vasil'ev
author: A. K. Zherlov
published in: Doklady Mathematics
publication date: 1997-11-05T00:00:00Z
review text: In contrast to widely known sequential and resolution approaches to the automatic deduction of theorems, we propose a language and calculi that are based on a representation of predicate calculus with the help of standard quantifiers [\textit{N. Bourbaki}, Théorie des ensembles (1958; Zbl 0092.27901)] that are used in deduction of theorems of the method of comparison in mathematical systems theory [\textit{V. M. Matrosov}, \textit{L. Yu. Anapol'skij} and \textit{S. N. Vasil'ev}: Comparison method in mathematical systems theory (Russian) (1980; Zbl 0468.93002)]. In addition to a descriptive version of the calculus, we propose a constructive version in the spirit of \textit{A. N. Kolmogorov's} calculus of problems [Math. Z. 35, 58-65 (1932; Zbl 0004.00201)].
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1050591
zbMATH Keywords: automatic deduction
zbMATH Keywords: standard quantifiers
zbMATH Keywords: method of comparison
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1050591