Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

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

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

Links

PhilArchive

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.
Topological duality for orthomodular lattices.Joseph McDonald &Katalin Bimbó -2023 -Mathematical Logic Quarterly 69 (2):174-191.

Analytics

Added to PP
2013-11-24

Downloads
55 (#442,010)

6 months
6 (#763,605)

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

Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-5b9ff6f457-t4pt2 uwo
[8]ページ先頭
©2009-2025 Movatter.jp