• Publications
  • Influence
Quantum theory as a theory in a classical propositional calculus
Classical logic and Boolean algebras are, of course, very intimately related. It is, however, possible to show that lattices of propositions isomorphic to the lattice of all the closed subspaces of aExpand
  • 5
  • 3
Quantum Logic and the Classical Propositional Calculus
  • O. Malhas
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 September 1987
In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.
  • 6
  • 3
Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory
  • O. Malhas
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 June 1994
With a certain graphic interpretation in mind. we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection CExpand
  • 1
Lattice Theoretic Foundations of Quantum Mechanics
Lattice Theoretic Foundations of Quantum Mechanics، للحصول على النص الكامل يرجى زيارة مكتبة الحسين بن طلال في جامعة اليرموك او زيارة موقعها الالكتروني
Models of the axiomatic theory associated with the lattice of subspaces of a finite-dimensional Hilbert space
It is shown that we can associate with the latticeL of subspaces of a separable Hilbert space an axiomatic theory in sentential logic that reflects some of the basic properties of the simplest typesExpand
Space-Time Geometries for One-Dimensional Space
It is now widely accepted that the axiomatization of empirical theories is necessary for giving precise answers to questions concerning their internal structures or their relations to each other andExpand
  • 1
Fuzziness in abacus logic
The concept of “abacus logic” has recently been developed by the author (Malhas, n.d.). In this paper the relation of abacus logic to the concept of fuzziness is explored. It is shown that if aExpand