Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Branching_quantifier> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Branching_quantifier abstract "In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial orderingof quantifiers for Q∈{∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1,...,ym-1 bound by quantifiers Qy1,...,Qym-1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.Branching quantification first appeared in a 1959 conference paper of Leon Henkin. Systems of partially ordered quantification are intermediate in strength between first-order logic and second-order logic. They are being used as a basis for Hintikka's and Gabriel Sandu's independence-friendly logic.".
- Branching_quantifier wikiPageExternalLink Branching.html.
- Branching_quantifier wikiPageID "3573834".
- Branching_quantifier wikiPageRevisionID "546941105".
- Branching_quantifier hasPhotoCollection Branching_quantifier.
- Branching_quantifier subject Category:Quantification.
- Branching_quantifier comment "In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial orderingof quantifiers for Q∈{∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1,...,ym-1 bound by quantifiers Qy1,...,Qym-1 preceding Qm.".
- Branching_quantifier label "Branching quantifier".
- Branching_quantifier label "Kwantyfikator rozgałęziony".
- Branching_quantifier sameAs Kwantyfikator_rozgałęziony.
- Branching_quantifier sameAs m.09mgrx.
- Branching_quantifier sameAs Q4956439.
- Branching_quantifier sameAs Q4956439.
- Branching_quantifier wasDerivedFrom Branching_quantifier?oldid=546941105.
- Branching_quantifier isPrimaryTopicOf Branching_quantifier.