n-linear weakly Heyting algebras

@article{Celani2006nlinearWH,
  title={n-linear weakly Heyting algebras},
  author={Sergio A. Celani},
  journal={Math. Log. Q.},
  year={2006},
  volume={52},
  pages={404-416}
}
The present paper introduces and studies the variety WHn of n-linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety WH2 that generalizes… CONTINUE READING