Expansions of Dually Pseudocomplemented Heyting Algebras

Taylor, CJ

Taylor, CJ (reprint author), La Trobe Univ, Math & Stat, Melbourne, Vic, Australia.

STUDIA LOGICA, 2017; 105 (4): 817

Abstract

We investigate expansions of Heyting algebras (EHAs) in possession of a unary term describing the filters that correspond to congruences. Hasimoto pro......

Full Text Link