Semi-Heyting Algebras and Identities of Associative Type
From MaRDI portal
Publication:5241407
DOI10.18778/0138-0680.48.2.03zbMath1477.06025OpenAlexW2973549683MaRDI QIDQ5241407
Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo
Publication date: 31 October 2019
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.48.2.03
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The variety generated by semi-Heyting chains
- The semi Heyting-Brouwer logic
- Gentzen-style sequent calculus for semi-intuitionistic logic
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Semi-intuitionistic logic
- Heyting algebras with dual pseudocomplementation
- An algebraic approach to non-classical logics
- Semi-intuitionistic logic with strong negation
- On some semi-intuitionistic logics
- Semi-Heyting algebras term-equivalent to Gödel algebras
- Semi-Nelson algebras
- Semi-Boolean lattices
- Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
- Equational classes of relative Stone algebras
- Free-decomposability in varieties of semi-Heyting algebras
- On the Foundations of Quasigroups
- Pseudocomplemented Okham and Demorgan Algebras
- Semi-de Morgan algebras
- Brouwerian Semilattices
- A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
- Implicative Semi-Lattices
- Implication Zroupoids and Identities of Associative Type
- Logic with truth values in A linearly ordered heyting algebra
- Topological representations of distributive lattices and Brouwerian logics
This page was built for publication: Semi-Heyting Algebras and Identities of Associative Type
