Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Monotonicity_of_entailment> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Monotonicity_of_entailment abstract "Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. In sequent calculi this property can be captured by an inference rule called weakening, or sometimes thinning, and in such systems one may say that entailment is monotone if and only if the rule is admissible. Logical systems with this property are occasionally called monotonic logics in order to differentiate them from non-monotonic logics.".
- Monotonicity_of_entailment wikiPageID "693185".
- Monotonicity_of_entailment wikiPageLength "2158".
- Monotonicity_of_entailment wikiPageOutDegree "18".
- Monotonicity_of_entailment wikiPageRevisionID "699610256".
- Monotonicity_of_entailment wikiPageWikiLink Abductive_reasoning.
- Monotonicity_of_entailment wikiPageWikiLink Bunched_logic.
- Monotonicity_of_entailment wikiPageWikiLink Category:Logical_consequence.
- Monotonicity_of_entailment wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Monotonicity_of_entailment wikiPageWikiLink Formal_system.
- Monotonicity_of_entailment wikiPageWikiLink Idempotency_of_entailment.
- Monotonicity_of_entailment wikiPageWikiLink Linear_logic.
- Monotonicity_of_entailment wikiPageWikiLink Logical_consequence.
- Monotonicity_of_entailment wikiPageWikiLink Metatheorem.
- Monotonicity_of_entailment wikiPageWikiLink Natural_deduction.
- Monotonicity_of_entailment wikiPageWikiLink Non-monotonic_logic.
- Monotonicity_of_entailment wikiPageWikiLink Relevance_logic.
- Monotonicity_of_entailment wikiPageWikiLink Sequent.
- Monotonicity_of_entailment wikiPageWikiLink Sequent_calculus.
- Monotonicity_of_entailment wikiPageWikiLink Strict_logic.
- Monotonicity_of_entailment wikiPageWikiLink Structural_rule.
- Monotonicity_of_entailment wikiPageWikiLink Substructural_logic.
- Monotonicity_of_entailment wikiPageWikiLinkText "Monotonicity of entailment".
- Monotonicity_of_entailment wikiPageWikiLinkText "monotonic".
- Monotonicity_of_entailment wikiPageWikiLinkText "monotonicity of entailment".
- Monotonicity_of_entailment wikiPageWikiLinkText "monotonicity".
- Monotonicity_of_entailment wikiPageWikiLinkText "weakening".
- Monotonicity_of_entailment wikiPageUsesTemplate Template:Classical_logic.
- Monotonicity_of_entailment wikiPageUsesTemplate Template:Logic-stub.
- Monotonicity_of_entailment wikiPageUsesTemplate Template:Main.
- Monotonicity_of_entailment wikiPageUsesTemplate Template:Unreferenced.
- Monotonicity_of_entailment subject Category:Logical_consequence.
- Monotonicity_of_entailment subject Category:Theorems_in_propositional_logic.
- Monotonicity_of_entailment hypernym Property.
- Monotonicity_of_entailment type Building.
- Monotonicity_of_entailment type Concept.
- Monotonicity_of_entailment type Theorem.
- Monotonicity_of_entailment comment "Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. In sequent calculi this property can be captured by an inference rule called weakening, or sometimes thinning, and in such systems one may say that entailment is monotone if and only if the rule is admissible.".
- Monotonicity_of_entailment label "Monotonicity of entailment".
- Monotonicity_of_entailment sameAs Q1945137.
- Monotonicity_of_entailment sameAs Monotonie_(Logik).
- Monotonicity_of_entailment sameAs Monotonicidad_de_la_implicación.
- Monotonicity_of_entailment sameAs Monotonicidade_da_implicação.
- Monotonicity_of_entailment sameAs m.0339f_.
- Monotonicity_of_entailment sameAs Q1945137.
- Monotonicity_of_entailment wasDerivedFrom Monotonicity_of_entailment?oldid=699610256.
- Monotonicity_of_entailment isPrimaryTopicOf Monotonicity_of_entailment.