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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Consecuente (es)
- Sequente (it)
- シークエント (ja)
- Sequent (en)
- Sequente (pt)
- Секвенция (теория доказательств) (ru)
- 相继式 (zh)
|
| 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)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| date
| |
| id
| |
| talk
| - Assertion symbols in sequents do not signify provability. (en)
|
| title
| |
| has 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)
|
| prov:wasDerivedFrom
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)