En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet.

Property Value
dbo:abstract
  • En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet. Cette classe de formules s'appelle parfois effectively propositional (EPR) car elle peut être effectivement traduite en logique propositionnelle en instanciant les variables universelles par des termes clos. (fr)
  • En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet. Cette classe de formules s'appelle parfois effectively propositional (EPR) car elle peut être effectivement traduite en logique propositionnelle en instanciant les variables universelles par des termes clos. (fr)
dbo:discoverer
dbo:namedAfter
dbo:wikiPageID
  • 10358675 (xsd:integer)
dbo:wikiPageLength
  • 3142 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 181622175 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet. (fr)
  • En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet. (fr)
rdfs:label
  • Classe de Bernays-Schönfinkel (fr)
  • Classe de Bernays-Schönfinkel (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of