Sequent
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.
Wikipage disambiguates
Wikipage redirect
AVATAR (MUD)Absorption (logic)Biconditional eliminationBiconditional introductionBoolean algebraCirquent calculusClaimCommutativity of conjunctionConjunction eliminationConjunction introductionConstructive dilemmaCurry–Howard correspondenceCut-elimination theoremDatatelDe Morgan's lawsDecidability (logic)Destructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDouble negationExportation (logic)HypersequentHypothetical syllogismIndex of logic articlesList of functional programming topicsList of mathematical logic topicsLogical qualityMaterial implication (rule of inference)Modus ponensModus tollensMonotonicity of entailmentNatural deductionNoncommutative logicOutline of logicRegular categoryRelevance logicRevision theoryRule of inferenceSequent (disambiguation)
Link from a Wikipage to another Wikipage
primaryTopic
Sequent
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.
has abstract
En lógica matemática, un conse ...... l del cálculo de consecuentes.
@es
In mathematical logic, a seque ...... framework of sequent calculus.
@en
Na teoria da prova, um sequent ...... stico do cálculo de sequentes.
@pt
Un sequente è un'entità della ...... inferenziali sui due sistemi.
@it
シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。
@ja
在证明论中,相继式(sequent)是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,823,898
Link from a Wikipage to another Wikipage
date
June 2014
@en
id
p/s084590
@en
talk
Assertion symbols in sequents do not signify provability.
@en
title
Sequent
@en
wikiPageUsesTemplate
comment
En lógica matemática, un conse ...... l del cálculo de consecuentes.
@es
In mathematical logic, a seque ...... framework of sequent calculus.
@en
Na teoria da prova, um sequent ...... stico do cálculo de sequentes.
@pt
Un sequente è un'entità della ...... comporta Δ) e si scrive quando
@it
シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。
@ja
在证明论中,相继式(sequent)是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。
@zh
label
Consecuente
@es
Sequent
@en
Sequente
@it
Sequente
@pt
Секвенция (теория доказательств)
@ru
シークエント
@ja
相继式
@zh