Bernays–Schönfinkel class
- Bernays–Schönfinkel class
The Bernays–Schönfinkel class of formulas, named after Paul Bernays and Moses Schönfinkel, is a decidable fragment of first-order logic formulas.
It corresponds to formulas which, when written in prenex normal form, have an quantifier prefix and do not contain any function symbols.
This class of logic formulas is also sometimes referred as effectively propositional (EPR) since it can be "effectively" translated into propositional logic formulas by a process of grounding or instantiation.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Moses Schönfinkel — Moses Ilyich Schönfinkel Born 1887 or 1889 Ekaterinoslav, Russian Empire Died 1942 Moscow, Soviet Union … Wikipedia
Шейнфинкель, Моисей Эльевич — Моисей Эльевич Шейнфинкель … Википедия
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
EPR — The abbreviation EPR may refer to the following:*Bernays–Schönfinkel class (Effectively propositional) logic formulas *Earth Potential Rise *East Pacific Rise *Educational Process Reengineering, applying business process reengineering to… … Wikipedia
List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
