About: Sequent

An Entity of Type: Appearance104673965, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.

Property Value
dbo:abstract
  • En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
  • In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. (en)
  • シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。 (ja)
  • Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei primi anni Trenta. Si dice che lista di asserzioni Ci Δ segue da una lista di asserzioni Di Γ (o equivalentemente che Γ comporta Δ) e si scrive quando Nella visione della logica classica (LK) Δ è una lista di m asserzioni (o proposizioni), mentre in logica intuizionista (LJ) in Δ trova posto una sola proposizione. Questo è un fatto di notevole importanza perché condiziona tutta la struttura di regole inferenziali sui due sistemi. (it)
  • Na teoria da prova, um sequente é uma declaração formalizada de verificação que é frequentemente usada quando se está especificando para o método dedutivo. No Cálculo de sequentes, o nome sequente é usado para representar uma estrutura que pode ser considerada como um tipo específico de julgamento, característico do cálculo de sequentes. (pt)
  • 在证明论中,相继式(sequent)是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 252355 (xsd:integer)
dbo:wikiPageLength
  • 21318 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1121454719 (xsd:integer)
dbo:wikiPageWikiLink
dbp:date
  • June 2014 (en)
dbp:id
  • p/s084590 (en)
dbp:talk
  • Assertion symbols in sequents do not signify provability. (en)
dbp:title
  • Sequent (en)
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
  • In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. (en)
  • シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。 (ja)
  • Na teoria da prova, um sequente é uma declaração formalizada de verificação que é frequentemente usada quando se está especificando para o método dedutivo. No Cálculo de sequentes, o nome sequente é usado para representar uma estrutura que pode ser considerada como um tipo específico de julgamento, característico do cálculo de sequentes. (pt)
  • 在证明论中,相继式(sequent)是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 (zh)
  • Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei primi anni Trenta. Si dice che lista di asserzioni Ci Δ segue da una lista di asserzioni Di Γ (o equivalentemente che Γ comporta Δ) e si scrive quando (it)
rdfs:label
  • Consecuente (es)
  • Sequente (it)
  • シークエント (ja)
  • Sequent (en)
  • Sequente (pt)
  • Секвенция (теория доказательств) (ru)
  • 相继式 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License