MyDataFarming







Definitions of admissible:



more on this topic on answers.com

Alternative Terms
decision-theory admissible-decision-rule logic rule-of-inference formal-system paul-lorenzen propositional-calculus classical-logic intermediate-logic modal-logic-3 well-formed-formula countable-set propositional-variable substitution structural-rule sequent-calculus theorem modus-ponens normal-modal-logic unary-operation multi-valued-logic georg-kreisel hilary-putnam intuitionistic-logic kripke-semantics l-b-s-theorem recursive-set decidability universal-quantification recursively-enumerable-set negation-4 disjunctive-normal-form modal-companion computational-complexity-theory nexptime pspace unification universal-algebra modal-algebra heyting-algebra singleton-mathematics basis recursive-2 algorithm brute-force-search proof-complexity finite-set general-frame transitive-relation reflexive well-founded-relation consistency disjunction-and-existence-properties proof-theory cut-elimination-theorem digital-object-identifier ancient-writing miranda-rule idempotency-of-entailment admissibility dominating-decision-rule civil-procedure abraham-wald monotonicity-of-entailment makin-v-attorney-general-for-new-south-wales james-stein-estimator parol-evidence-rule