Quasi-implication algebras. I: Elementary theory
type: Item
instance of: scholarly article
title: Quasi-implication algebras. I: Elementary theory
zbMATH Open document ID: 0497.03049
DOI: 10.1007/BF02483861
author: Gary Hardegree
published in: Algebra Universalis
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 06B10
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 08A05
zbMATH DE Number: 3783001
zbMATH Keywords: conditional operation
zbMATH Keywords: orthomodular lattice
zbMATH Keywords: join semi-lattice
MaRDI profile type: Publication
cites work: Q5626712
cites work: Orthoimplication algebras
cites work: Quantum logic as an implication algebra
cites work: The conditional in quantum logic
cites work: Stalnaker conditionals and quantum logic
cites work: Q4060947
cites work: An axiom system for the modular logic
cites work: The permutability in a certain orthocomplemented lattice
cites work: Orthomodular lattices as implication algebras
description: scientific article; zbMATH DE number 3783001