Accession Number:

AD0711284

Title:

IMPLICATION ALGEBRAS AND THEIR APPLICATIONS.

Descriptive Note:

Research rept.,

Corporate Author:

NAVAL ACADEMY ANNAPOLIS MD

Personal Author(s):

• Kimble,Robert J. , Jr

Report Date:

1970-05-15

Pagination or Media Count:

46.0

Abstract:

The study introduces a new operation, ortho-implication of orthomodular lattices that reduces to ordinary implication in the Boolean classical case. It seems that this should have definite advantages in the study of orthomodular logics, since it retains most of the properties of ordinary implication. It also makes computations somewhat easier by providing an arithmetic of its own. Finally, it generalizes the concept of orthomodular lattices to orthomodular semi-lattices. Author

Descriptors:

• (*MATHEMATICAL LOGIC
• *ALGEBRAS)
• HILBERT SPACE
• COMPUTER PROGRAMS
• THEOREMS

Subject Categories:

• Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE