Modal-type orthomodular logic

&
Mathematical Logic Quarterly (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

  • This entry has no external links. Add one.
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.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
Sites and tours in orthoalgebras and orthomodular lattices.Richard J. Greechie - 1990 - Foundations of Physics 20 (7):915-923.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Games of imperfect information and and modal logic.Gabriel Sandu - unknown
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
A first approach to abstract modal logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
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.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions.Jarosław Pykacz - 2000 - Notre Dame Journal of Formal Logic 41 (1):59-76.

Analytics

Added to PP
2014-03-09

Downloads
2 (#1,808,280)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Discriminator logics.Matthew Spinks, Robert Bignall & Robert Veroff - 2014 - Australasian Journal of Logic 11 (2).

Add more citations

References found in this work

No references found.

Add more references