Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Admissible_rule> ?p ?o }
- Admissible_rule abstract "In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).".
- Admissible_rule wikiPageExternalLink 1183745815.
- Admissible_rule wikiPageExternalLink 1183746371.
- Admissible_rule wikiPageExternalLink 318wolter.pdf.
- Admissible_rule wikiPageExternalLink p129.ps.gz.
- Admissible_rule wikiPageExternalLink 2586506.
- Admissible_rule wikiPageExternalLink 2694922.
- Admissible_rule wikiPageExternalLink these.pdf.
- Admissible_rule wikiPageID "1151794".
- Admissible_rule wikiPageLength "28621".
- Admissible_rule wikiPageOutDegree "77".
- Admissible_rule wikiPageRevisionID "662061768".
- Admissible_rule wikiPageWikiLink Albert_Visser.
- Admissible_rule wikiPageWikiLink Algorithm.
- Admissible_rule wikiPageWikiLink Brute-force_search.
- Admissible_rule wikiPageWikiLink Category:Modal_logic.
- Admissible_rule wikiPageWikiLink Category:Rules_of_inference.
- Admissible_rule wikiPageWikiLink Classical_logic.
- Admissible_rule wikiPageWikiLink Computational_complexity_theory.
- Admissible_rule wikiPageWikiLink Consequence_relation.
- Admissible_rule wikiPageWikiLink Consistency.
- Admissible_rule wikiPageWikiLink Consistent.
- Admissible_rule wikiPageWikiLink Countable_set.
- Admissible_rule wikiPageWikiLink Cut-elimination_theorem.
- Admissible_rule wikiPageWikiLink Cut_rule.
- Admissible_rule wikiPageWikiLink Decidability_(logic).
- Admissible_rule wikiPageWikiLink Decidable_set.
- Admissible_rule wikiPageWikiLink Decision_theory.
- Admissible_rule wikiPageWikiLink Disjunction_and_existence_properties.
- Admissible_rule wikiPageWikiLink Disjunction_property.
- Admissible_rule wikiPageWikiLink Disjunctive_normal_form.
- Admissible_rule wikiPageWikiLink Equational_theory.
- Admissible_rule wikiPageWikiLink Exhaustive_search.
- Admissible_rule wikiPageWikiLink Extension_variable.
- Admissible_rule wikiPageWikiLink Finite_set.
- Admissible_rule wikiPageWikiLink Formal_proof.
- Admissible_rule wikiPageWikiLink Formal_system.
- Admissible_rule wikiPageWikiLink General_frame.
- Admissible_rule wikiPageWikiLink Georg_Kreisel.
- Admissible_rule wikiPageWikiLink Heyting_algebra.
- Admissible_rule wikiPageWikiLink Hilary_Putnam.
- Admissible_rule wikiPageWikiLink Intermediate_logic.
- Admissible_rule wikiPageWikiLink Intuitionistic_logic.
- Admissible_rule wikiPageWikiLink Kripke_frame.
- Admissible_rule wikiPageWikiLink Kripke_model.
- Admissible_rule wikiPageWikiLink Kripke_semantics.
- Admissible_rule wikiPageWikiLink Logic.
- Admissible_rule wikiPageWikiLink Logical_conjunction.
- Admissible_rule wikiPageWikiLink Logical_connective.
- Admissible_rule wikiPageWikiLink Logical_consequence.
- Admissible_rule wikiPageWikiLink Logical_negation.
- Admissible_rule wikiPageWikiLink Lxc3xb6bs_theorem.
- Admissible_rule wikiPageWikiLink Many-valued_logic.
- Admissible_rule wikiPageWikiLink Modal_algebra.
- Admissible_rule wikiPageWikiLink Modal_companion.
- Admissible_rule wikiPageWikiLink Modal_logic.
- Admissible_rule wikiPageWikiLink Modus_ponens.
- Admissible_rule wikiPageWikiLink Most_general_unifier.
- Admissible_rule wikiPageWikiLink Multi-valued_logic.
- Admissible_rule wikiPageWikiLink NEXP.
- Admissible_rule wikiPageWikiLink NEXPTIME.
- Admissible_rule wikiPageWikiLink Negation.
- Admissible_rule wikiPageWikiLink Non-classical_logic.
- Admissible_rule wikiPageWikiLink Normal_modal_logic.
- Admissible_rule wikiPageWikiLink PSPACE.
- Admissible_rule wikiPageWikiLink Paul_Lorenzen.
- Admissible_rule wikiPageWikiLink Proof_complexity.
- Admissible_rule wikiPageWikiLink Proof_theory.
- Admissible_rule wikiPageWikiLink Propositional_calculus.
- Admissible_rule wikiPageWikiLink Propositional_logic.
- Admissible_rule wikiPageWikiLink Propositional_variable.
- Admissible_rule wikiPageWikiLink Recursive_set.
- Admissible_rule wikiPageWikiLink Recursively_enumerable.
- Admissible_rule wikiPageWikiLink Recursively_enumerable_set.
- Admissible_rule wikiPageWikiLink Reflexive_relation.
- Admissible_rule wikiPageWikiLink Ronald_Harrop.
- Admissible_rule wikiPageWikiLink Rule_of_inference.
- Admissible_rule wikiPageWikiLink Sequent_calculus.
- Admissible_rule wikiPageWikiLink Singleton_(mathematics).
- Admissible_rule wikiPageWikiLink Structural_rule.
- Admissible_rule wikiPageWikiLink Substitution_(logic).
- Admissible_rule wikiPageWikiLink Superintuitionistic_logic.
- Admissible_rule wikiPageWikiLink T-norm_fuzzy_logics.
- Admissible_rule wikiPageWikiLink Tabular_logic.
- Admissible_rule wikiPageWikiLink Theorem.
- Admissible_rule wikiPageWikiLink Transitive_relation.
- Admissible_rule wikiPageWikiLink Unary_operation.
- Admissible_rule wikiPageWikiLink Unification.
- Admissible_rule wikiPageWikiLink Unification_(computer_science).
- Admissible_rule wikiPageWikiLink Universal_algebra.
- Admissible_rule wikiPageWikiLink Universal_modality.
- Admissible_rule wikiPageWikiLink Universal_quantification.
- Admissible_rule wikiPageWikiLink Universal_quantifier.
- Admissible_rule wikiPageWikiLink Vladimir_V._Rybakov.
- Admissible_rule wikiPageWikiLink Well-formed_formula.
- Admissible_rule wikiPageWikiLink Well-formed_formulas.
- Admissible_rule wikiPageWikiLink Well-founded_relation.
- Admissible_rule wikiPageWikiLink File:Tsitkin_frames.svg.
- Admissible_rule wikiPageWikiLinkText "Admissible rule".
- Admissible_rule wikiPageWikiLinkText "admissible rule".