overlay results from the CPAN

NNexus
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML+RDFa 1.1//EN">

<html lang="en" dir="ltr"
 version="HTML+RDFa 1.1"
  xmlns:content="http://purl.org/rss/1.0/modules/content/"
  xmlns:dc="http://purl.org/dc/terms/"
  xmlns:foaf="http://xmlns.com/foaf/0.1/"
  xmlns:og="http://ogp.me/ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:sioc="http://rdfs.org/sioc/ns#"
  xmlns:sioct="http://rdfs.org/sioc/types#"
  xmlns:skos="http://www.w3.org/2004/02/skos/core#"
  xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rss="http://purl.org/rss/1.0/"
  xmlns:site="http://planetmath.org/ns#">

<head profile="http://www.w3.org/1999/xhtml/vocab">
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta about="/heytingalgebra" property="sioc:num_replies" content="0" datatype="xsd:integer" />
<link rel="shortcut icon" href="http://planetmath.org/sites/default/files/fab-favicon.ico" type="image/vnd.microsoft.icon" />
<meta content="&amp;lt;p&amp;gt;Heyting algebra&amp;lt;/p&amp;gt;
" about="/heytingalgebra" property="dc:title" />
<link rel="shortlink" href="/node/38734" />
<meta name="Generator" content="Drupal 7 (http://drupal.org)" />
<link rel="canonical" href="/heytingalgebra" />
<link rel="alternate" type="application/rss+xml" title="Comments for &quot;Heyting algebra&quot;" href="http://planetmath.org/crss/node/38734" />
  <title>Heyting algebra | planetmath.org</title>
  <link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_pbm0lsQQJ7A7WCCIMgxLho6mI_kBNgznNUWmTWcnfoE.css" media="all" />
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_lJHaWn7FaA_ALzgAm6OqyKUOT7H4d8LCRAdSo0FzgL8.css" media="screen" />
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_ffNJQl3VyUMrGOBEjWkI1gujctYa9XQRQatpePI20vQ.css" media="all" />
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_9Yhb5AGaAa2wV-o5nQsSDSZcsf_JnwKxM73di9_TJaM.css" media="all" />
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_bYzpykJJ1BB9J8atAXDBBMnXd1lH5ysC9xjTfpMyIVM.css" media="all" />
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_e0Oi8I1L8cGJ7KxcUbimLkO-ivlPDoZXuBZMWKAz5GY.css" media="print" />

<!--[if lte IE 7]>
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_sIsRwCKuAMZS6YJIMFqPXNCtZHxV56wN2ePifCvkLYc.css" media="all" />
<![endif]-->

<!--[if lte IE 6]>
<link type="text/css" rel="stylesheet" href="http://planetmath.org/sites/default/files/css/css_F4JwCNmgx6DDnZ5NMGoynGFC6glsAmBV7ypP_09ZfsM.css" media="all" />
<![endif]-->
  <script type="text/javascript" src="http://planetmath.org/misc/jquery.js?v=1.4.4"></script>
<script type="text/javascript" src="http://planetmath.org/misc/jquery.once.js?v=1.2"></script>
<script type="text/javascript" src="http://planetmath.org/misc/drupal.js?mjnfzq"></script>
<script type="text/javascript" src="http://planetmath.org/sites/all/libraries/shadowbox/shadowbox.js?v=3.0.3"></script>
<script type="text/javascript" src="http://planetmath.org/sites/all/modules/sharejsservices/async.js?mjnfzq"></script>
<script type="text/javascript" src="http://planetmath.org/sites/all/modules/sharejsservices/sharejsservices.js?mjnfzq"></script>
<script type="text/javascript" src="http://planetmath.org/sites/all/modules/dhtml_menu/dhtml_menu.js?mjnfzq"></script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=MML_HTMLorMML"></script>
<script type="text/javascript" src="http://planetmath.org/sites/all/modules/mathjax/mathjax.js?mjnfzq"></script>
<script type="text/javascript">
<!--//--><![CDATA[//><!--
jQuery.extend(Drupal.settings, {"basePath":"\/","pathPrefix":"","ajaxPageState":{"theme":"planetmath","theme_token":"Kk0KRS0tXVUbdgHj2d0PwPJQYnfArkFqnDhuhSHeD7s","js":{"0":1,"misc\/jquery.js":1,"misc\/jquery.once.js":1,"misc\/drupal.js":1,"sites\/all...
//--><!]]>
</script>
  <meta property="og:image" content="http://planetmath.org/sites/default/files/fab-planet.png" />
</head>
<body class="html not-front not-logged-in two-sidebars page-node page-node- page-node-38734 node-type-article og-context og-context-node og-context-node-85022 section-heytingalgebra" >
  <div id="skip-link">
    <a href="#main-menu" class="element-invisible element-focusable">Jump to Navigation</a>
  </div>
    
<script type="text/javascript">
  	var $jq = jQuery.noConflict();  
</script>
<script type="text/javascript">
$jq(document).ready(function () {
	
	$jq('.topmenu ul li').hover(
		function () {
			//show its submenu
			$jq('ul', this).fadeIn(250);

		}, 
		function () {
			//hide its submenu
			$jq('ul', this).delay(200).fadeOut(250);
		}
	);

});
</script>


<div id="page-wrapper"><div id="page">

  <div id="header region-header"><div class="section clearfix">

          <a href="/" title="Home" rel="home" id="logo"><img src="http://planetmath.org/sites/default/files/fab-planet.png" alt="Home" /></a>
    
          <div id="name-and-slogan">
                              <div id="site-name"><strong>
              <a href="/" title="Home" rel="home"><span>planetmath.org</span></a>
            </strong></div>
                  
                  <div id="site-slogan">Math for the people, by the people.</div>
              </div><!-- /#name-and-slogan -->
    
    <ul id="secondary-menu" class="links inline clearfix">
        </ul>

		    <div class="region region-header">
    <div id="block-user-login" class="block block-user first last odd">

        <h2 class="block-title"><span class="block-title-helper">User login</span></h2>
    
  <div class="content">
    <form action="/heytingalgebra?destination=node/38734" method="post" id="user-login-form" accept-charset="UTF-8"><div><div class="form-item form-type-textfield form-item-name">
  <label for="edit-name">Username <span class="form-required" title="This field is required.">*</span></label>
 <input type="text" id="edit-name" name="name" value="" size="15" maxlength="60" class="form-text required" />
</div>
<div class="form-item form-type-password form-item-pass">
  <label for="edit-pass">Password <span class="form-required" title="This field is required.">*</span></label>
( run in 1.850 second using v1.01-cache-2.11-cpan-75ffa21a3d4 )