Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

## [4b23aa]: web / entries / LatticeProperties.shtml Maximize Restore History

### LatticeProperties.shtml    96 lines (78 with data), 3.0 kB

```<!DOCTYPE public "-//w3c//dtd html 4.01 transitional//en"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<title>Archive of Formal Proofs</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<body>

<table width="100%">
<tbody>
<tr>
<td width="20%" align="center" valign="top">
<!--#include file="nav.html"-->
</td>
<td width="80%" valign="top">
<!-- content -->

<div align="center">
<p> </p>

<h1><font class="first">L</font>attice
<font class="first">P</font>roperties
</h1>
<p></p>
<table width="80%" class="data">
<tbody>
<td class="data" width="80%">Lattice Properties</td></tr>

<td class="data"><a href="http://users.abo.fi/vpreotea/">Viorel Preoteasa</a></td></tr>

<td class="data">2011-09-22</td></tr>

<td class="abstract">

This formalization introduces and collects some algebraic structures based on lattices and complete lattices for use in other developments. The structures introduced are complete distributive lattices, modular and distributive lattices, as well as lattice ordered groups. In addition to the results proved for the new lattices, this formalization also introduces theorems about latices and distributive lattices in general.
</td></tr>

<!--#set var="status" value="-STATUS-" -->
<!--#set var="version" value="-VERSION-" -->
<!--#set var="afp-version" value="-AFPVERSION-" -->
<!---INCLUDE- file="devel-warning.shtml"-->

</tbody>
</table>

<p></p>

<!--#set var="name" value="LatticeProperties" -->
<!--#set var="binfo" value="../browser_info/current/HOL/\${name}" -->

<!--#set var="doc" value="\${binfo}/document.pdf" -->
<!--#set var="outline" value="\${binfo}/outline.pdf" -->
<!--#set var="browse" value="\${binfo}/index.html" -->
<!--#set var="tar" value="../release/afp-\${name}-current.tar.gz" -->

<tbody>
<tr>
<a href="<!--#echo var="outline" -->">Proof outline</a><br>
<a href="<!--#echo var="doc" -->">Proof document</a>
</td>
</tr>
<tr>
<a href="<!--#echo var="browse" -->">Browse theories</a>
</td></tr>
<tr>