Abstract
Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.
Similar content being viewed by others
References
J. C. Abbott,Sets, lattices and Boolean algebras, Allyn and Bacon, Boston, 1970.
—,Semi-Boolean algebra,Matematicki Vesnik 4(19) Cb 1967, pp. 177–198.
—,Implicational algebras,Bulletin de la Société Mathematique de la Romainie, Vol. 11 (59) No. 1 (1967), pp. 3–23.
P. Halmos,Finite dimensional Hilbert spaces,The American Mathematical Monthly, 77 (1970).
S. S. Holland, jr.,The current interest in orthomodular lattices,Trends in lattice theory, ed. J. C. Abbott, Van Nostrand Reinhold, New York, 1969.
J. Lěvy-Bruhl,Introduction aux structures algébriques, Dunod, Paris, 1968.
H. Rasiowa andR. Sikorski,The mathematics of metamathematics, PWN, Warsaw, 1970.
H. Rasiowa,An algebraic approach to non-classical logics, North-Holland/American Elsevier, Amsterdam, 1974.
Author information
Authors and Affiliations
Additional information
Allatum est die 1 Julii 1975
Rights and permissions
About this article
Cite this article
Abbott, J.C. Orthoimplication algebras. Stud Logica 35, 173–177 (1976). https://doi.org/10.1007/BF02120879
Issue Date:
DOI: https://doi.org/10.1007/BF02120879