About: Admissible rule

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Logic reasoning rule that is correctly usable is some logic

Property	Value
dbo:description	logikai érvelési szabály, amely helyesen használható valamely logikában (hu) Aspekt der Logik (de) logic reasoning rule that is correctly usable is some logic (en) regla de razonamiento lógico (es) doğru şekilde kullanılabilen mantık muhakeme kuralı bir mantıktır (tr) règle de raisonnement valide dans une logique donnée (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Tsitkin_frames.svg?width=300
dbo:wikiPageExternalLink	http://www.pps.jussieu.fr/~roziere/admiss/these.pdf http://projecteuclid.org/euclid.jsl/1183745815 http://projecteuclid.org/euclid.jsl/1183746371 http://www.emis.de/journals/ZPOMI/v316/p129.ps.gz https://web.archive.org/web/20110718020147/http:/tocl.acm.org/accepted/318wolter.pdf https://www.jstor.org/stable/view/2586506 https://www.jstor.org/stable/view/2694922
dbo:wikiPageWikiLink	dbr:Cut_rule dbr:Classical_logic dbr:Non-classical_logic dbr:Finite_set dbr:Georg_Kreisel dbr:Sequent_calculus dbr:Countable_set dbr:Rule_of_inference dbr:Cut-elimination_theorem dbr:Decidability_(logic) dbr:Proof_theory dbr:Propositional_logic dbr:PSPACE dbr:Heyting_algebra dbr:Singleton_(mathematics) dbr:Paul_Lorenzen dbr:Formal_system dbr:Modus_ponens dbr:Well-formed_formula dbr:Disjunctive_normal_form dbr:Logic dbr:Logical_conjunction dbr:Kripke_semantics dbr:Modal_logic dbr:Substitution_(logic) dbr:Reflexive_relation dbr:Normal_modal_logic dbr:Proof_complexity dbr:Algorithm dbr:Decision_theory dbr:Intuitionistic_logic dbr:Formal_proof dbr:Memoirs_of_the_American_Mathematical_Society dbc:Modal_logic dbr:Logical_connective dbr:Computational_complexity_theory dbr:Löb's_theorem dbc:Rules_of_inference dbr:Well-founded_relation dbr:Unary_operation dbr:Theorem dbr:Transitive_relation dbr:Hilary_Putnam dbr:Studia_Logica dbr:T-norm_fuzzy_logics dbr:Intermediate_logic dbr:Propositional_variable dbr:Structural_rule dbr:ACM_Transactions_on_Computational_Logic dbr:Recursively_enumerable dbr:Archive_for_Mathematical_Logic dbr:General_frame dbr:Modal_algebra dbr:Journal_of_Logic_and_Computation dbr:Journal_of_Symbolic_Logic dbr:Ronald_Harrop dbr:Most_general_unifier dbr:Multi-valued_logic dbr:Modal_companion dbr:Annals_of_Pure_and_Applied_Logic dbr:Notre_Dame_Journal_of_Formal_Logic dbr:Universal_quantifier dbr:Grigori_Mints dbr:Equational_theory dbr:Université_de_Paris_VII dbr:NEXP dbr:Kripke_frame dbr:Kripke_model dbr:Consistent dbr:Exhaustive_search dbr:Well-formed_formulas dbr:Consequence_relation dbr:Decidable_set dbr:Disjunction_property dbr:Logical_negation dbr:Extension_variable dbr:File:Tsitkin_frames.svg dbr:Tabular_logic dbr:Universal_modality dbr:Vladimir_V._Rybakov dbr:Superintuitionistic_logic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Doi dbt:ISBN dbt:About dbt:Ill dbt:Ordered_list
dct:subject	dbc:Modal_logic dbc:Rules_of_inference
rdfs:label	Admissible rule (en) Zulässige Regel (de)
owl:sameAs	freebase:Admissible rule wikidata:Admissible rule dbpedia-de:Admissible rule dbpedia-fa:Admissible rule dbpedia-global:Admissible rule yago-res:Admissible rule dbr:Admissible rule
prov:wasDerivedFrom	wikipedia-en:Admissible_rule?oldid=1279114888&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Tsitkin_frames.svg
foaf:isPrimaryTopicOf	wikipedia-en:Admissible_rule
is dbo:wikiPageRedirects of	dbr:Structural_completeness dbr:Structurally_complete dbr:Admissible_inference_rule dbr:Unifier dbr:Inadmissible_inference_rule dbr:Projective_approximation dbr:Projective_formula
is dbo:wikiPageWikiLink of	dbr:Markov's_principle dbr:Cut-elimination_theorem dbr:Unification_(computer_science) dbr:Propositional_calculus dbr:Modus_ponens dbr:Index_of_philosophy_articles_(A–C) dbr:Completeness_(logic) dbr:Linear_logic dbr:Heyting_arithmetic dbr:Intuitionistic_logic dbr:Admissibility dbr:Idempotency_of_entailment dbr:Constructive_set_theory dbr:Modal_companion dbr:Structural_completeness dbr:Structurally_complete dbr:Admissible_inference_rule dbr:Unifier dbr:Inadmissible_inference_rule dbr:Projective_approximation dbr:Projective_formula
is foaf:primaryTopic of	wikipedia-en:Admissible_rule