About: Hypersequent

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Multiset dbr:Cut_rule dbr:S5_(modal_logic) dbr:Sequent_calculus dbc:Proof_theory dbr:Modal_logic dbr:Completeness_(logic) dbr:Intuitionistic_logic dbr:Mathematical_logic dbr:Sequent dbr:Analytic_proof dbr:Structural_proof_theory dbr:Admissible_set dbr:Intermediate_logic dbr:Structural_rule dbr:LC_(modal_logic) dbr:Single-succedent_sequents dbr:Cut_elimination dbr:Functionally_complete dbr:Fuzzy_logics dbr:Intermediate_logics dbr:Disjunction dbr:Classical_propositional_logic dbr:Substructural_logics
dct:subject	dbc:Proof_theory
rdfs:label	Hypersequent (en)
owl:sameAs	wikidata:Hypersequent dbpedia-global:Hypersequent
prov:wasDerivedFrom	wikipedia-en:Hypersequent?oldid=1241073361&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hypersequent
is dbo:wikiPageRedirects of	dbr:Hypersequents
is dbo:wikiPageWikiLink of	dbr:Natural_deduction dbr:Proof_calculus dbr:Arnon_Avron dbr:Łukasiewicz_logic dbr:Hypersequents
is foaf:primaryTopic of	wikipedia-en:Hypersequent

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International