You are here: Accueil -  Fred Perry Anvers E Trillas S Cubillo E Castiñeira

Fred Perry Anvers E Trillas S Cubillo E Castiñeira

Fred Perry Anvers

Trillas Fred Perry Anvers et al. [E. Trillas, S. Cubillo, E. Castiñeira, sur des conjectures dans des réseaux orthocomplemented, Intelligence Artificielle 117 (2000) 255-275] a récemment proposé un modèle mathématique pour conjectures, des hypothèses et conséquences (en abrégé. CSC), et avec ce modèle nous pouvons exécuter certain raisonnement mathématique et reformuler certains théorèmes importants dans la logique classique. Nous démontrons que la condition Chemise Ralph Lauren Femme orthomodular ne est pas nécessaire pour maintenir la structure du théorème de Watanabe d'hypothèses, et même, dans certains réseaux orthocomplemented mais pas orthomodular, ce théorème est toujours valide. Nous utilisons les opérateurs CSC pour décrire le théorème de la déduction, le théorème de la contradiction et le théorème Lindenbaum de la logique classique, et de clarifier leur existence dans les modèles CSC; un certain nombre d'exemples est présentée. Et nous re-définissons les opérateurs dans les réseaux résiduable CSC, et en particulier de révéler les différences essentielles entre les opérateurs des CSC dans des réseaux orthocomplemented et treillis résiduable.
0 Commentaires


Speak Your Mind