Orthomodular Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):395-406 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740202504

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Orthomodular Logic.Gudrun Kalmbach - 1974 - Mathematical Logic Quarterly 20 (25‐27):395-406.
Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
A Proof-Checker for Orthomodular Logic.Peter Frederick Gibbins - 1984
Orthomodular Structures as Quantum Logics.Pavel Pták & Sylvia Pulmannová - 1991 - Springer.
Review: M. F. Janowitz, Quantifiers and Orthomodular Lattices; M. F. Janowitz, Quantifier Theory on Quasi-Orthomodular Lattices. [REVIEW]George Gratzer - 1967 - Journal of Symbolic Logic 32 (2):275-275.
On subdirectly irreducible OMAs.Richard Holzer - 2004 - Studia Logica 78 (1-2):261 - 277.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
Sites and tours in orthoalgebras and orthomodular lattices.Richard J. Greechie - 1990 - Foundations of Physics 20 (7):915-923.
Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
Coreflections in Algebraic Quantum Logic.Bart Jacobs & Jorik Mandemaker - 2012 - Foundations of Physics 42 (7):932-958.
Hilbert lattices: New results and unsolved problems. [REVIEW]Herbert Gross - 1990 - Foundations of Physics 20 (5):529-559.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.

Analytics

Added to PP
2016-02-04

Downloads
37 (#409,683)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 7 citations / Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
An axiom system for the modular logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
Logical systems with implications.Jerzy Kotas - 1971 - Studia Logica 28 (1):101 - 117.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references