Ivan Chajda, Department of Algebra and Geometry, Palacky University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic, e-mail: chajda@inf.upol.cz
Abstract: We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.
Keywords: ortholattice, orthoimplication, orthologic
Classification (MSC 2000): 06C15, 03G12, 03G25
Full text available as PDF (smallest), as compressed PostScript (.ps.gz) or as raw PostScript (.ps).
Access to the full text of journal articles on this site is restricted to the subscribers of Myris Trade.
To activate your access, please contact Myris Trade at myris@myris.cz.
Subscribers of Springer need to access the articles on their site, which is http://www.springeronline.com/10587.