Orthomodular Logic

Mathematical Logic Quarterly 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

Other Versions

reprint Kalmbach, Gudrun (1974) "Orthomodular Logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20(25-27):395-406

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,484

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

Modal-type orthomodular logic.Trixie Wagner & Andreas Schouml - forthcoming - Mathematical Logic Quarterly.
Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
A Proof-checker for Orthomodular Logic.Peter Frederick Gibbins - 1984
A Natural Deduction System for Orthomodular Logic.Andre Kornell - 2024 - Review of Symbolic Logic 17 (3):910-949.
The square of opposition in orthomodular logic.Hector Freytes, Christian de Ronde & Graciela Domenech - unknown
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Some Properties of Orthologics.Yutaka Miyazaki - 2005 - Studia Logica 80 (1):75-93.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
Orthomodular Structures as Quantum Logics.Pavel Pták & Sylvia Pulmannová - 1991 - Springer.

Analytics

Added to PP
2013-11-24

Downloads
49 (#363,335)

6 months
6 (#694,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Natural Deduction System for Orthomodular Logic.Andre Kornell - 2024 - Review of Symbolic Logic 17 (3):910-949.

View all 9 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.

Add more references