Equationally definable implication algebras for orthomodular lattices |
| |
Authors: | G N Georgacarakos |
| |
Institution: | (1) Department of Philosophy, Kansas State University, USA |
| |
Abstract: | The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |