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://logitext.mit.edu/logitext.fcgi/tutorial http://scienceblogs.com/goodmath/2006/07/17/a-brief-diversion-sequent-calc/ https://archive.org/details/proofstypes0000gira 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
dbo:wikiPageWikiLink	dbr:Higher-order_logic dbr:Completeness_(logic) dbr:Semantics dbr:Intuitionistic_logic dbr:If_and_only_if dbr:Formal_logic dbr:Logical_disjunction dbr:Deduction_theorem dbr:Artificial_intelligence dbr:Computer_science dbr:Mathematical_logic dbr:Sequence dbr:Formal_system dbr:Metatheory dbr:Substructural_logic dbr:Axiom dbr:Propositional_calculus dbr:Quantifier_(logic) dbr:Multiset dbr:Proof_theory dbr:Formal_proof dbr:Tree_(graph_theory) dbr:Method_of_analytic_tableaux dbr:David_Hilbert dbr:Gödel's_incompleteness_theorems dbr:Hilbert_system dbr:Set_(mathematics) dbr:Argument dbr:De_Morgan's_laws dbr:Natural_deduction dbr:Free_variables_and_bound_variables dbr:Inference dbr:Soundness dbr:Atomic_formula dbr:Stephen_Cole_Kleene dbr:Modal_logic dbr:Law_of_excluded_middle dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Classical_logic dbr:Cut-elimination_theorem dbr:First-order_logic dbr:Gentzen's_consistency_proof dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Theorem dbr:Logical_conjunction dbr:Propositional_logic dbr:Cirquent_calculus dbc:Automated_theorem_proving dbr:Principle_of_explosion dbr:Tautology_(logic) dbr:Well-formed_formula dbr:Consistency dbr:Resolution_(logic) dbr:Rule_of_inference dbr:Logical_consequence dbc:Proof_theory dbc:Logical_calculi dbr:Completeness_of_atomic_initial_sequents dbr:Proof_calculus dbr:Turnstile_(symbol) dbr:Disjunction_and_existence_properties dbr:Nested_sequent_calculus dbr:Quantification_(logic) dbr:Hilbert-style_deduction_system dbr:Frege's_propositional_calculus dbr:Automated_deduction dbr:Cut-elimination 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_arXiv dbt:Cite_conference dbt:Cite_encyclopedia dbt:Cite_journal dbt:Cite_web dbt:Main dbt:Main_article dbt:Reflist dbt:Sfn dbt:Short_description dbt:Slink dbt:Springer dbt:Use_dmy_dates
dct:subject	dbc:Automated_theorem_proving dbc:Proof_theory dbc:Logical_calculi
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) Числення секвенцій (uk) Исчисление секвенций (ru) 相继式演算 (zh)
owl:sameAs	freebase:Sequent calculus wikidata:Sequent calculus dbpedia-de:Sequent calculus dbpedia-es:Sequent calculus dbpedia-pl:Sequent calculus dbpedia-fr:Sequent calculus dbpedia-hu:Sequent calculus dbpedia-ja:Sequent calculus dbpedia-pt:Sequent calculus dbpedia-ru:Sequent calculus dbpedia-zh:Sequent calculus dbpedia-ko:Sequent calculus dbpedia-eo:Sequent calculus dbpedia-lt:Sequent calculus dbpedia-uk:Sequent calculus dbpedia-global:Sequent calculus
prov:wasDerivedFrom	wikipedia-en:Sequent_calculus?oldid=1310015542&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:Reduction_tree dbr:Reduction_trees dbr:Gentzen-style_system dbr:Gentzen_calculus dbr:Gentzen_system dbr:Gentzen_systems dbr:Inference_line dbr:Inference_lines
is dbo:wikiPageWikiLink of	dbr:Idempotency_of_entailment dbr:Ivan_Orlov_(philosopher) dbr:KeY dbr:Cedent dbr:Quantum_logic dbr:Structural_proof_theory dbr:Logic dbr:Mathematical_logic dbr:Substructural_logic dbr:Propositional_calculus dbr:Modus_ponens dbr:Gaisi_Takeuti dbr:Proof_theory dbr:Herbrand's_theorem dbr:Formal_proof dbr:Calculus_(disambiguation) dbr:Computability_logic dbr:Method_of_analytic_tableaux dbr:Propositional_proof_system dbr:Jape_(software) dbr:Deductive_reasoning dbr:Hilbert_system dbr:Natural_deduction dbr:Paraconsistent_logic dbr:Arnon_Avron dbr:Craig_interpolation dbr:Logic:_The_Laws_of_Truth dbr:Monotonicity_of_entailment dbr:Boolean_algebra dbr:Curry–Howard_correspondence dbr:Modal_logic dbr:Metalogic dbr:Relevance_logic dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Analytic_proof dbr:Cut-elimination_theorem dbr:First-order_logic dbr:Gerhard_Gentzen dbr:Proof-theoretic_semantics dbr:Proof_complexity dbr:Sequent_calculus dbr:Kripke_semantics dbr:Geometry_of_interaction dbr:Linear_logic dbr:Proof_net dbr:Bunched_logic dbr:Abductive_reasoning dbr:History_of_logic dbr:Łukasiewicz_logic dbr:Proof_by_contradiction dbr:Rule_of_inference dbr:Frege_system dbr:List_of_functional_programming_topics dbr:Admissible_rule dbr:List_of_mathematical_logic_topics dbr:Multiple-conclusion_logic dbr:Noncommutative_logic dbr:Minimal_logic dbr:Giorgi_Japaridze dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Theory_(mathematical_logic) dbr:Completeness_of_atomic_initial_sequents dbr:Hypersequent dbr:Geometric_logic dbr:Proof_calculus dbr:Proof_procedure dbr:Turnstile_(symbol) dbr:Deep_inference dbr:Cut_rule dbr:Nested_sequent_calculus dbr:System_LJ dbr:System_LK dbr:Typing_rule dbr:Proof_compression dbr:Extensions_of_First_Order_Logic dbr:System_L dbr:Reduction_tree dbr:Reduction_trees dbr:Gentzen-style_system dbr:Gentzen_calculus dbr:Gentzen_system dbr:Gentzen_systems dbr:Inference_line dbr:Inference_lines
is dbp:knownFor of	dbr:Gerhard_Gentzen
is foaf:primaryTopic of	wikipedia-en:Sequent_calculus