Hostname: page-component-84b7d79bbc-c654p Total loading time: 0 Render date: 2024-07-30T09:19:39.721Z Has data issue: false hasContentIssue false
  • English
  • Français

Modal propositional logic on an orthomodular basis. I

Published online by Cambridge University Press:  12 March 2014

L. Herman  and
R. Piziak
L. Herman
Affiliation:
Kansas State University, Manhattan, Kansas 66506
R. Piziak
Affiliation:
University of Florida, Gainesville, Florida 32601
Get access Rights & Permissions [Opens in a new window]

Extract

A common method of obtaining the classical modal logics, for example the Feys system T, the Lewis systems, the Brouwerian system etc., is to build on a basis for the propositional calculus by adjoining a new symbol L, specifying new axioms involving L and the symbols in the basis for PC, and imposing one or more additional transformation rules. In the jargon of algebraic logic, which is the point of view we shall adopt, the “necessity” symbol L may be interpreted as an operator on the Boolean algebra of propositions of PC. For example, the Lewis system S4 may be regarded as a Boolean algebra ℒ together with an operator L on ℒ having the properties: (1)Lp ≤ p for all p in ℒ, (2)L1 = 1, (3) L(p → q) ≤ Lp → Lq for all p, q in ℒ, and (4) Lp = L(Lp) for all p in ℒ. Here, of course, → denotes the material implication connective: p→q = p′ ∨ q. It is easy to verify that property (3) may be replaced by either (3′) L(p ∧ q) = Lp ∧ Lq for all p, q in ℒ, or by (3″) L(p → q) ∧ Lp ≤ Lq for all p, q in ℒ. In particular, it follows from (1) through (4) above that L is a decreasing, idempotent and isotone operator on ℒ. Such mappings are often called interior operators.

In a previous paper [5], we considered the problem of introducing an implication connective into a quantum logic. This is greatly complicated by the fact that the quantal propositions band together to form an orthocomplemented lattice which is only “locally” distributive. Such lattices are called orthomodular. For definitions and further discussion, the reader is referred to that paper. In it, we argued that the Sasaki implication connective ⊃ defined by p ⊃ q = p′ ∨ (p ∧ q) is a natural generalization of material implication when the lattice of propositions is ortho-modular. Indeed, if unrestricted distributivity were permitted, p ⊃ q would reduce to the classical material implication p → q. For this reason, we choose ⊃ to play the role of material implication in an orthomodular lattice. Further properties of ⊃ are enumerated in Example 2.2(1) and Corollary 2.4 below.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 39 , Issue 3 , September 1974 , pp. 478 - 488
Copyright
Copyright © Association for Symbolic Logic 1974

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

[1]Birkhoff, G., Lattice theory, American Mathematical Society Colloquium Publications, vol. 25, American Mathematical Society, Providence, R.I., 1967.Google Scholar
[2]Foulis, D. J., A note on orthomodular lattices, Portugaliae Mathematica, vol. 21, Fasc. 1 (1962).Google Scholar
[3]Greechie, R. J. and Gudder, S. P., Quantum logics (preprint).Google Scholar
[4]Halmos, P., Algebraic logic, Chelsea, New York, 1962.Google Scholar
[5]Herman, L., Marsden, E. and Piziak, R., Implication connectives in orthomodular lattices, Notre Dame Journal of Formal Logic (to appear).Google Scholar
[6]Hughes, G. E. and Cresswell, M. J., An introduction to modal logic, Methuen, London, 1968.Google Scholar
[7]Janowitz, M. F., Residuated closure operators, University of New Mexico Technical Report No. 29, 1965.Google Scholar
[8]Zeman, J. Jay, Quantum logic with implication, Notre Dame Journal of Formal Logic (to appear).Google Scholar
[9]Zeman, J. Jay, Modal logic: The Lewis modal systems, Clarendon Press, Oxford, 1973.Google Scholar