The following pages link to Proof theory for linear lattices (Q1070254):
Displaying 27 items.
- Graphical algebras -- a new approach to congruence lattices (Q535094) (← links)
- Two notes on the Arguesian identity (Q1077445) (← links)
- Arguesian lattices whose skeleton is a chain (Q1095959) (← links)
- Solution of Rota's problem on the order of series-parallel networks (Q1190152) (← links)
- The theory of commuting subalgebras of complete Heyting algebras (Q1273837) (← links)
- Graphical operations on projective spaces (Q1293428) (← links)
- Arguesian identities in linear lattices (Q1302053) (← links)
- The theory of commuting Boolean sigma-algebras (Q1302054) (← links)
- A perspective on algebraic representations of lattices (Q1327459) (← links)
- Varieties of groups and normal-subgroup lattices -- a survey (Q1337164) (← links)
- On quasi-identities of relation algebras with Diophantine operations (Q1363476) (← links)
- Linear strategy for Boolean ring based theorem proving (Q1579733) (← links)
- Geometric identities in lattice theory (Q1584665) (← links)
- Varieties of Boolean inverse semigroups (Q1663513) (← links)
- Independence and totalness of subspaces in phase space methods (Q1744273) (← links)
- Selective correlations in finite quantum systems and the Desargues property (Q1747948) (← links)
- An identity for subgroup lattices of Abelian groups (Q1842593) (← links)
- Alan Day's work on modular and arguesian lattices (Q1902541) (← links)
- Congruences, equational theories and lattice representations (Q1922118) (← links)
- Arguesian identities in the congruence variety of Abelian groups (Q1971631) (← links)
- Arguesian lattices which are not type-1 (Q2276988) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- (Q3574413) (← links)
- THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS (Q3577748) (← links)
- Arguesian lattices which are not linear (Q4724677) (← links)
