Heyting algebras with dual pseudocomplementation

Hanamatagouda Pandappa Sankappanavar

Vol. 117 (1985), No. 2, 405–415

DOI: 10.2140/pjm.1985.117.405

Abstract

This paper is a contribution toward developing a theory of (the variety H₊ of) Heyting algebras with dual pseudocomplementation.

Mathematical Subject Classification 2000

Primary: 06D20

Secondary: 03G25, 06D15

Milestones

Received: 17 June 1983

Revised: 28 October 1983

Published: 1 April 1985