The Varieties Defined by P-compatible Identities of Modular Ortholattices

Studia Logica 95 (1-2):21-35 (2010)
  Copy   BIBTEX

Abstract

In the present paper we give syntactical and semantical characterization of the class of algebras defined by P-compatible identities of modular ortholattices. We also describe the lattice of some subvarieties of the variety MOLEx defined by so called externally compatible identities of modular ortholattices.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9255-5

Links

PhilArchive



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

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

The Varieties Defined by P - compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21 - 35.
Externally compatible Abelian groups of the type (2,1,0).Krystyna Mruczek-Nasieniewska - 2006 - Logic and Logical Philosophy 15 (3):239-250.
The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n.Katarzyna Gajewska-Kurdziel & Krystyna Mruczek-Nasieniewska - 2007 - Studia Logica 85 (3):361-379.
On p-compatible hybrid identities and hyperidentities.Klaus Denecke & Katarzyna Hałkowska - 1994 - Studia Logica 53 (4):493-501.
P-compatible Abelian groups.Krystyna Mruczek-Nasieniewska - 2005 - Logic and Logical Philosophy 14 (2):253-263.
Nearly orthosymmetric ortholattices and hilbert spaces.R. Mayet & S. Pulmannová - 1994 - Foundations of Physics 24 (10):1425-1437.
Of modular ortholattices.Jacek Malinowski - 1991 - Bulletin of the Section of Logic 20 (3/4):138-142.
P-compatible hypersubstitution and MP-Solid varieties.K. HŁkowska & K. Denecke - 2000 - Studia Logica 64 (3):355-363.
A short equational axiomatization of modular ortholattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):311-316.
Three identities for ortholattices.Ladislav Beran - 1976 - Notre Dame Journal of Formal Logic 17 (2):251-252.
On regular and symmetric identities.E. Graczynska - 1981 - Bulletin of the Section of Logic 10 (3):104-106.
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
The Super-amalgamation Property Of The Variety Of Ortholattices.Yutaka Miyazaki - 1999 - Reports on Mathematical Logic:45-63.
Partial Boolean algebras in a broader sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.

Analytics

Added to PP
2016-02-04

Downloads
16 (#830,801)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krystyna Mruczek-Nasieniewska
Nicolaus Copernicus University

Citations of this work

Add more citations

References found in this work

Some Properties of Orthologics.Yutaka Miyazaki - 2005 - Studia Logica 80 (1):75-93.
Of modular ortholattices.Jacek Malinowski - 1991 - Bulletin of the Section of Logic 20 (3/4):138-142.

Add more references