![[Lattice L46-7]Home Page](l46-7icon.gif){kind=small}
HomeUnicode version.
| Home |
Quantum Logic Explorer | < Previous Next > |
| Browser slow? Try the
Unicode version. |
| Type | Label | Description |
|---|---|---|
| Statement | ||
| Theorem | go2n6 901 | 12-variable Godowski equation derived from 6-variable one. The last hypothesis is the 6-variable Godowski equation. |
 
                
  | ||
| Theorem | gomaex3h1 902 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
  | ||
| Theorem | gomaex3h2 903 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
 | ||
| Theorem | gomaex3h3 904 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
| ||
| Theorem | gomaex3h4 905 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
 
| ||
| Theorem | gomaex3h5 906 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h6 907 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h7 908 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h8 909 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h9 910 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h10 911 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
 | ||
| Theorem | gomaex3h11 912 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3h12 913 | Hypothesis for Godowski 6-var -> Mayet Example 3. |
|
| ||
| Theorem | gomaex3lem1 914 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem2 915 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem3 916 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem4 917 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem5 918 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem6 919 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem7 920 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem8 921 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem9 922 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3lem10 923 | Lemma for Godowski 6-var -> Mayet Example 3. |
| Theorem | gomaex3 924 | Proof of Mayet Example 3 from 6-variable Godowski equation. R. Mayet, "Equational bases for some varieties of orthomodular lattices related to states," Algebra Universalis 23 (1986), 167-195. |
|
| ||
| OML Lemmas for studying orthoarguesian laws | ||
| Theorem | oas 925 | "Strengthening" lemma for studying the orthoarguesian law. |
|
| ||
| Theorem | oasr 926 | Reverse of oas 925 lemma for studying the orthoarguesian law. |
| | ||
| Theorem | oat 927 | Transformation lemma for studying the orthoarguesian law. |
| | ||
| Theorem | oatr 928 | Reverse transformation lemma for studying the orthoarguesian law. |
|
| ||
| Theorem | oau 929 | Transformation lemma for studying the orthoarguesian law. |
|
| ||
| Theorem | oaur 930 | Transformation lemma for studying the orthoarguesian law. |
|
| ||
| Theorem | oaidlem2 931 | Lemma for identity-like OA law. |
| Theorem | oaidlem2g 932 | Lemma for identity-like OA law (generalized). |
| Theorem | oa6v4v 933 | 6-variable OA to 4-variable OA. |
  | ||
| Theorem | oa4v3v 934 | 4-variable OA to 3-variable OA (Godowski/Greechie Eq. IV). |
|
| ||
| Theorem | oal42 935 | Derivation of Godowski/Greechie Eq. II from Eq. IV. |
|
| ||
| Theorem | oa23 936 | Derivation of OA from Godowski/Greechie Eq. II. |
|
| ||
| Theorem | oa4lem1 937 | Lemma for 3-var to 4-var OA. |
| Theorem | oa4lem2 938 | Lemma for 3-var to 4-var OA. |
| Theorem | oa4lem3 939 | Lemma for 3-var to 4-var OA. |
| Theorem | distoah1 940 | Satisfaction of distributive law hypothesis. |
|
| ||
| Theorem | distoah2 941 | Satisfaction of distributive law hypothesis. |
 | ||
| Theorem | distoah3 942 | Satisfaction of distributive law hypothesis. |
|
| ||
| Theorem | distoah4 943 | Satisfaction of distributive law hypothesis. |
|
| ||
| Theorem | distoa 944 | Derivation in OM of OA, assuming OA distributive law oadistd 1023. |
|
| ||
| Theorem | oa3to4lem1 945 | Lemma for orthoarguesian law (Godowski/Greechie 3-variable to 4-variable proof). |
| Theorem | oa3to4lem2 946 | Lemma for orthoarguesian law (Godowski/Greechie 3-variable to 4-variable proof). |
| Theorem | oa3to4lem3 947 | Lemma for orthoarguesian law (Godowski/Greechie 3-variable to 4-variable proof). |
| Theorem | oa3to4lem4 948 | Lemma for orthoarguesian law (Godowski/Greechie 3-variable to 4-variable proof). |
| Theorem | oa3to4lem5 949 | Lemma for orthoarguesian law (Godowski/Greechie 3-variable to 4-variable proof). |
| Theorem | oa3to4lem6 950 | Orthoarguesian law (Godowski/Greechie 3-variable to 4-variable). The first 2 hypotheses are those for 4-OA. The next 3 are variable substitutions into 3-OA. The last is the 3-OA. The proof uses OM logic only. |
|
| ||
| Theorem | oa3to4 951 | Orthoarguesian law (Godowski/Greechie 3-variable to 4-variable). The first 2 hypotheses are those for 4-OA. The next 3 are variable substitutions into 3-OA. The last is the 3-OA. The proof uses OM logic only. |
|
| ||