The main result of this paper shows that a distributive pseudocomplemented lattice
(
L
;
∨
,
∧
,
∗
,
0
,
1
)
(L; \vee , \wedge {,^ \ast },0,1)
, considered as an algebra of type
⟨
2
,
2
,
1
,
0
,
0
⟩
\langle 2,2,1,0,0\rangle
, can be represented as the algebra of all global sections in a certain sheaf. The stalks are the quotient algebras
L
/
Θ
(
O
(
P
)
)
L/\Theta (O(P))
, where
P
P
is a prime ideal in
L
L
. The base space is the set of prime ideals of
L
L
equipped with the topology whose basic open sets are of the form
P
:
P
P:P
prime in
L
,
x
∗
∗
∉
P
L,{x^{ \ast \ast }} \notin P
for some
x
∈
L
x \in L
.