Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Monotonicity_of_entailment> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items 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 wikiPageRevisionID "605832850".
- Monotonicity_of_entailment hasPhotoCollection Monotonicity_of_entailment.
- Monotonicity_of_entailment subject Category:Logical_consequence.
- Monotonicity_of_entailment subject Category:Theorems_in_propositional_logic.
- Monotonicity_of_entailment type Abstraction100002137.
- Monotonicity_of_entailment type Communication100033020.
- Monotonicity_of_entailment type Message106598915.
- Monotonicity_of_entailment type Proposition106750804.
- Monotonicity_of_entailment type Statement106722453.
- Monotonicity_of_entailment type Theorem106752293.
- Monotonicity_of_entailment type TheoremsInPropositionalLogic.
- 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 "Monotonicidade da implicação".
- Monotonicity_of_entailment label "Monotonicity of entailment".
- Monotonicity_of_entailment label "Monotonie (Logik)".
- Monotonicity_of_entailment sameAs Monotonie_(Logik).
- Monotonicity_of_entailment sameAs Monotonicidade_da_implicação.
- Monotonicity_of_entailment sameAs m.0339f_.
- Monotonicity_of_entailment sameAs Q1945137.
- Monotonicity_of_entailment sameAs Q1945137.
- Monotonicity_of_entailment sameAs Monotonicity_of_entailment.
- Monotonicity_of_entailment wasDerivedFrom Monotonicity_of_entailment?oldid=605832850.
- Monotonicity_of_entailment isPrimaryTopicOf Monotonicity_of_entailment.