n-linear weakly Heyting algebras

  title={n-linear weakly Heyting algebras},
  author={Sergio A. Celani},
  journal={Math. Log. Q.},
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