๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Semantics of the minimal logic of quantum mechanics

โœ Scribed by H. Dishkant


Publisher
Springer Netherlands
Year
1972
Tongue
English
Weight
384 KB
Volume
30
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The Logical Origins of Quantum Mechanics
โœ Y.F. Orlov ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 618 KB

The main quantum phenomena-indeterminism and interference--are explained on a purely logical basis by extending classical mathematical logic. In this extension, statements are represented by Hermitian matrices that, it is postulated, can undergo unitary transformations of truth values (the principle

On the Semantics of Comparative Logic
โœ Pierluigi Minari ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 781 KB
The semantics of constraint logic progra
โœ Joxan Jaffar; Michael Maher; Kim Marriott; Peter Stuckey ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 350 KB

The Constraint Logic Programming (CLP) Scheme was introduced by Jaar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the ยฎrst time the semantic foundations