𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An axiom system for orthomodular quantum logic

✍ Scribed by Gary M. Hardegree


Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
780 KB
Volume
40
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An axiom system for deontic logic
✍ Nicholas Rescher πŸ“‚ Article πŸ“… 1958 πŸ› Springer Netherlands 🌐 English βš– 388 KB
An axiom system for metasymplectic space
✍ Arjeh M. Cohen πŸ“‚ Article πŸ“… 1982 πŸ› Springer 🌐 English βš– 916 KB

Metasymplectic spaces are geometries representing Tits' weak buildings of Type F 4. For metasymplectic and polar spaces an axiom system is given that characterizes them in terms of points and lines.

Construction and Implementation of NMR Q
✍ M.D. Price; S.S. Somaroo; C.H. Tseng; J.C. Gore; A.F. Fahmy; T.F. Havel; D.G. Co πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 84 KB

The implementation of small prototype quantum computers has been studied through ensemble quantum computing via NMR measurements. In such laboratory studies it is convenient to have access to a wide array of logic gates. Here a systematic approach to reduce the logic gate to an NMR pulse sequence is

RENOIR: An expert system using fuzzy log
✍ Miguel Belmonte-Serrano; Carlos Sierra; RamΓ³n LΓ³pez de Mantaras πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 888 KB

A new expert system (ES) to aid the nonspecialist physician in diagnosing arthritis and collagen diseases has been developed. Here we present the structure of RENOIR and the results of its implementation. This rule-based ES has been programmed using the MILORD environment. This is a shell to develop