Logique d\'attribut

pour la limite spécifique, voient la logique de premier ordre .

Dans la logique mathématique , la logique d'attribut de est la limite générique pour les systèmes formels symbolique comme la logique de premier ordre , la logique de second ordre , la logique Beaucoup-assortie par ou la logique d'Infinitary de . Ce système formel est distingué d'autres systèmes du fait ses formules contiennent les variables qui peuvent être mesurés par . Deux quantifiers communs sont le des quantifiers universels existentiels de et . Les variables ont pu être des éléments dans l'univers , ou peut-être des relations ou des fonctions au-dessus de l'univers. Par exemple, un quantifier existentiel au-dessus d'un symbole de fonction serait interprété comme " de modificateur ; il y a un function" ;.

Dans l'utilisation sans cérémonie, le " de limite ; logic" d'attribut ; se rapporte de temps en temps à la logique de premier ordre . < ! -- c'est pourquoi j'ai voulu faire ce moignon séparé. DesolateReality--> quelques auteurs considèrent le calcul d'attribut de à une forme axiomatized de la logique d'attribut de , et la logique d'attribut à dériver d'un développement sans cérémonie et plus intuitif.

Apostilles

Random links: