About: Sequent calculus

Property	Value
dbo:description	metodika teorije dokazov v matematiki in programske analize v računalništvu (sl) Methodik der Beweistheorie der Mathematik und der Programmanalyse der Informatik (de) logikai érvelési stílus (hu) style of formal logical argumentation (en) système de déduction mathématique (fr) класс логических исчислений, использующих древовидный вывод и секвенции (условные суждения) (ru)
dbo:thumbnail	wiki-commons:Special:FilePath/Sequent_calculus_proof_tree_example.png?width=300
dbo:wikiPageExternalLink	http://math.ucsd.edu/~sbuss/ResearchWeb/handbookI/ http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508 http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605%7Cdoi=10.1007/bf01201363%7Cs2cid=186239837 http://logitext.mit.edu/logitext.fcgi/tutorial https://archive.org/details/proofstypes0000gira http://scienceblogs.com/goodmath/2006/07/17/a-brief-diversion-sequent-calc/
dbo:wikiPageWikiLink	dbr:Multiset dbr:Classical_logic dbr:Tree_(graph_theory) dbr:Gerhard_Gentzen dbr:Principle_of_explosion dbr:Soundness dbr:Natural_deduction dbr:Sequent_calculus dbr:Quantifier_(logic) dbr:Resolution_(logic) dbr:Rule_of_inference dbr:Artificial_intelligence dbc:Proof_theory dbr:Consistency dbr:First-order_logic dbr:Set_(mathematics) dbr:Turnstile_(symbol) dbr:Cut-elimination_theorem dbr:Logical_consequence dbr:Atomic_formula dbc:Logical_calculi dbr:Gödel's_incompleteness_theorems dbr:Proof_theory dbr:Propositional_calculus dbr:Propositional_logic dbr:Free_variables_and_bound_variables dbr:If_and_only_if dbr:Metatheory dbr:Inference dbr:Cirquent_calculus dbr:Formal_system dbr:Well-formed_formula dbr:Logical_conjunction dbr:Modal_logic dbr:Tautology_(logic) dbr:Completeness_(logic) dbr:Substructural_logic dbr:Proof_calculus dbr:Formal_logic dbr:Intuitionistic_logic dbr:Formal_proof dbr:Axiom dbr:Computer_science dbr:David_Hilbert dbc:Automated_theorem_proving dbr:Argument dbr:Automated_deduction dbr:Stephen_Cole_Kleene dbr:Sequence dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Hilbert_system dbr:Theorem dbr:Method_of_analytic_tableaux dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Higher-order_logic dbr:Disjunction_and_existence_properties dbr:De_Morgan's_laws dbr:Semantics dbr:Logical_disjunction dbr:Completeness_of_atomic_initial_sequents dbr:Deduction_theorem dbr:Gentzen's_consistency_proof dbr:Nested_sequent_calculus dbr:Frege's_propositional_calculus dbr:Quantification_(logic) dbr:Cut-elimination dbr:Hilbert-style_deduction_system dbr:File:Sequent_calculus_proof_tree_example.png
dbp:id	p/s084580 (en)
dbp:title	Sequent calculus (en)
dbp:wikiPageUsesTemplate	dbt:Diagrams_in_logic dbt:Cite_book dbt:! dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Cite_conference dbt:Cite_arXiv dbt:Use_dmy_dates dbt:Cite_encyclopedia dbt:Main_article dbt:Slink dbt:Springer dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Logical_calculi dbc:Automated_theorem_proving
gold:hypernym	dbr:Tautology
rdfs:label	Sequent calculus (en) Sequenzenkalkül (de) Sekvaĵa kalkulo (eo) Cálculo de secuentes (es) Calcul des séquents (fr) シークエント計算 (ja) 시퀀트 계산 (ko) Sekwenty Gentzena (pl) Cálculo de sequentes (pt) Исчисление секвенций (ru) Числення секвенцій (uk) 相继式演算 (zh)
owl:sameAs	freebase:Sequent calculus wikidata:Sequent calculus dbpedia-de:Sequent calculus dbpedia-fr:Sequent calculus dbpedia-zh:Sequent calculus dbpedia-ja:Sequent calculus dbpedia-pt:Sequent calculus dbpedia-es:Sequent calculus dbpedia-hu:Sequent calculus dbpedia-ru:Sequent calculus dbpedia-pl:Sequent calculus dbpedia-ko:Sequent calculus dbpedia-eo:Sequent calculus dbpedia-lt:Sequent calculus dbpedia-uk:Sequent calculus dbpedia-global:Sequent calculus dbr:Sequent calculus
prov:wasDerivedFrom	wikipedia-en:Sequent_calculus?oldid=1293540146&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Sequent_calculus_proof_tree_example.png
foaf:isPrimaryTopicOf	wikipedia-en:Sequent_calculus
is dbo:knownFor of	dbr:Gerhard_Gentzen
is dbo:wikiPageDisambiguates of	dbr:Calculus_(disambiguation)
is dbo:wikiPageRedirects of	dbr:System_LJ dbr:System_LK dbr:Gentzen-style_system dbr:Gentzen_calculus dbr:Gentzen_system dbr:Gentzen_systems dbr:Reduction_tree dbr:Reduction_trees dbr:Inference_line dbr:Inference_lines
is dbo:wikiPageWikiLink of	dbr:Admissible_rule dbr:List_of_functional_programming_topics dbr:Noncommutative_logic dbr:Cut_rule dbr:Gerhard_Gentzen dbr:Natural_deduction dbr:Sequent_calculus dbr:Monotonicity_of_entailment dbr:Craig_interpolation dbr:Rule_of_inference dbr:Minimal_logic dbr:History_of_logic dbr:First-order_logic dbr:Turnstile_(symbol) dbr:Typing_rule dbr:Cut-elimination_theorem dbr:Proof_theory dbr:Propositional_calculus dbr:Gaisi_Takeuti dbr:Metalogic dbr:Frege_system dbr:Calculus_(disambiguation) dbr:Deductive_reasoning dbr:Modus_ponens dbr:Logic dbr:Abductive_reasoning dbr:Kripke_semantics dbr:Modal_logic dbr:Quantum_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Ivan_Orlov_(philosopher) dbr:Linear_logic dbr:Substructural_logic dbr:Index_of_logic_articles dbr:Proof-theoretic_semantics dbr:Proof_calculus dbr:Proof_complexity dbr:Proof_compression dbr:Proof_procedure dbr:Propositional_proof_system dbr:Relevance_logic dbr:Formal_proof dbr:Jape_(software) dbr:Paraconsistent_logic dbr:System_LJ dbr:System_LK dbr:Mathematical_logic dbr:Hilbert_system dbr:Herbrand's_theorem dbr:Method_of_analytic_tableaux dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Proof_net dbr:Analytic_proof dbr:Giorgi_Japaridze dbr:List_of_mathematical_logic_topics dbr:Structural_proof_theory dbr:Boolean_algebra dbr:Proof_by_contradiction dbr:Multiple-conclusion_logic dbr:Deep_inference dbr:Curry–Howard_correspondence dbr:Bunched_logic dbr:Cedent dbr:Completeness_of_atomic_initial_sequents dbr:Arnon_Avron dbr:Idempotency_of_entailment dbr:Computability_logic dbr:Geometry_of_interaction dbr:KeY dbr:Hypersequent dbr:Łukasiewicz_logic dbr:Theory_(mathematical_logic) dbr:Nested_sequent_calculus dbr:Logic:_The_Laws_of_Truth dbr:Geometric_logic dbr:System_L dbr:Extensions_of_First_Order_Logic dbr:Gentzen-style_system dbr:Gentzen_calculus dbr:Gentzen_system dbr:Gentzen_systems dbr:Reduction_tree dbr:Reduction_trees dbr:Inference_line dbr:Inference_lines
is dbp:knownFor of	dbr:Gerhard_Gentzen
is foaf:primaryTopic of	wikipedia-en:Sequent_calculus