Semi-Heyting algebras term-equivalent to Gödel algebras
From MaRDI portal
Publication:2376916
DOI10.1007/S11083-012-9266-0zbMATH Open1294.06011OpenAlexW2002169743MaRDI QIDQ2376916FDOQ2376916
Authors: Manuel Abad, Patricio Díaz Varela, Juan Manuel Cornejo 
Publication date: 26 June 2013
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11083-012-9266-0
Recommendations
- scientific article; zbMATH DE number 5510319
- The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
- Semi-Heyting algebras and identities of associative type
- The variety generated by semi-Heyting chains
- Expansions of semi-Heyting algebras. I: Discriminator varieties
Cites Work
Cited In (17)
- A categorial equivalence for semi-Nelson algebras
- On some semi-intuitionistic logics
- Gödel algebras free over finite distributive lattices
- The subvariety of \(Q\)-Heyting algebras generated by chains
- The variety generated by semi-Heyting chains
- Title not available (Why is that?)
- Semi-Nelson algebras
- A note on chain‐based semi‐Heyting algebras
- Free-decomposability in varieties of semi-Heyting algebras
- The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
- A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
- The semi Heyting-Brouwer logic
- Semi-Heyting algebras and identities of associative type
- On congruences in weak implicative semi-lattices
- Gentzen-style sequent calculus for semi-intuitionistic logic
- Intuitionistic logic is a connexive logic
- Title not available (Why is that?)
This page was built for publication: Semi-Heyting algebras term-equivalent to Gödel algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376916)
