A hyperbase for binary lattice hyperidentities
type: Item
instance of: scholarly article
title: A hyperbase for binary lattice hyperidentities
zbMATH Open document ID: 0945.06004
DOI: 10.1023/A:1006279127474
author: R. Padmanabhan
author: P. Penner
published in: Journal of Automated Reasoning
publication date: 2000-05-17T00:00:00Z
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06-04
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1448651
zbMATH Keywords: hyperidentity
zbMATH Keywords: lattice
zbMATH Keywords: hyperbase
zbMATH Keywords: quasilattice
zbMATH Keywords: automated reasoning program Otter 3.0.4
describes a project that uses: OTTER
MaRDI profile type: Publication
Recommended article: Binary hyperidentities of lattices
Recommended article: Hyperidentities of some generalizations of lattices
Recommended article: Q5150809
Recommended article: Hyperidentities of weakly idempotent lattices.
Recommended article: Q3362830
Recommended article: HYPERIDENTITIES OF BOOLEAN ALGEBRAS
Recommended article: Bases of identities of varieties of lattice ordered semigroups
Recommended article: Q3322157
Recommended article: Q4542617
Recommended article: Binary relations and hypergroupoids
description: scientific article; zbMATH DE number 1448651