A hyperbase for binary lattice hyperidentities

DOI10.1023/A:1006279127474zbMath0945.06004MaRDI QIDQ1977577

P. Penner, R. Padmanabhan

Publication date: 17 May 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

latticehyperidentityquasilatticehyperbaseautomated reasoning program Otter 3.0.4

Mathematics Subject Classification ID

Related Items (4)

Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Bilattices and hyperidentities ⋮ Hyperidentities of weakly idempotent lattices.

Uses Software

• OTTER

This page was built for publication: A hyperbase for binary lattice hyperidentities