About: Sequent

Property	Value
dbo:description	conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true (en) kondiĉa aserto de la jena formo: se ĉiuj el la kondiĉoj (antaŭaĵoj) veras, do almenaŭ unu el la konsekvencoj veras (eo)
dbo:wikiPageExternalLink	http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605 http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508
dbo:wikiPageWikiLink	dbr:Dual-intuitionistic_logic dbr:Semantics dbr:Intuitionistic_logic dbr:Coplanarity dbr:Syntax dbr:Logical_disjunction dbr:Interpretation_(logic) dbr:Alonzo_Church dbr:Mathematical_logic dbr:Sequence dbr:Substructural_logic dbr:Paul_Bernays dbr:Permutation dbr:Multiset dbr:Proof_theory dbr:Antecedent_(logic) dbr:Consequent dbr:David_Hilbert dbr:Deductive_reasoning dbr:Haskell_Curry dbr:Set_(mathematics) dbr:Contradiction dbr:Natural_deduction dbr:Paraconsistent_logic dbr:Dag_Prawitz dbr:Judgment_(mathematical_logic) dbr:False_(logic) dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Logical_conjunction dbr:Propositional_logic dbc:Logical_expressions dbr:Tautology_(logic) dbr:Well-formed_formula dbr:Rule_of_inference dbr:John_Lemmon dbc:Proof_theory dbr:Proof_calculus dbr:Turnstile_(symbol) dbr:Tee_(symbol) dbr:System_L dbr:Formalism_(mathematics) dbr:Logical_assertion dbr:Glivenko's_translation
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	dbt:Prawitz_Natural_Deduction dbt:Cite_book dbt:Cite_journal dbt:Harvnb dbt:Harvtxt dbt:Other_uses dbt:Refimprove_section dbt:Reflist dbt:Sfn_whitelist dbt:Short_description dbt:Springer
dct:subject	dbc:Logical_expressions dbc:Proof_theory
rdfs:label	Sequent (en) Consecuente (es) Sequente (it) シークエント (ja) Sequente (pt) Секвенция (теория доказательств) (ru) 相继式 (zh)
owl:sameAs	freebase:Sequent yago-res:Sequent wikidata:Sequent dbpedia-es:Sequent dbpedia-it:Sequent dbpedia-ja:Sequent dbpedia-pt:Sequent dbpedia-ru:Sequent dbpedia-zh:Sequent dbpedia-global:Sequent
prov:wasDerivedFrom	wikipedia-en:Sequent?oldid=1299541318&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Sequent
is dbo:wikiPageDisambiguates of	dbr:Sequent_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Sequents dbr:Sequent_(in_logic)
is dbo:wikiPageWikiLink of	dbr:Decidability_(logic) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Structural_proof_theory dbr:Regular_category dbr:Claim dbr:Double_negation dbr:Hypothetical_syllogism dbr:Modus_ponens dbr:Modus_tollens dbr:De_Morgan's_laws dbr:Natural_deduction dbr:Monotonicity_of_entailment dbr:Boolean_algebra dbr:Curry–Howard_correspondence dbr:Susanne_Bobzien dbr:Revision_theory dbr:Relevance_logic dbr:Structural_rule dbr:Exportation_(logic) dbr:Cut-elimination_theorem dbr:Sequent_calculus dbr:Cirquent_calculus dbr:Tautology_(rule_of_inference) dbr:Disjunctive_syllogism dbr:Commutativity_of_conjunction dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Destructive_dilemma dbr:Rule_of_inference dbr:List_of_functional_programming_topics dbr:Absorption_(logic) dbr:List_of_mathematical_logic_topics dbr:Noncommutative_logic dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Outline_of_logic dbr:Index_of_logic_articles dbr:Logical_quality dbr:Sequent_(disambiguation) dbr:Hypersequent dbr:Turnstile_(symbol) dbr:Transposition_(logic) dbr:Conjunction_elimination dbr:Sequents dbr:System_L dbr:AVATAR_(MUD) dbr:Sequent_(in_logic)
is foaf:primaryTopic of	wikipedia-en:Sequent