The variety generated by semi-Heyting chains
From MaRDI portal
Publication:432182
DOI10.1007/s00500-010-0604-0zbMath1260.06009MaRDI QIDQ432182
José Patricio Díaz Varela, Juan Manuel Cornejo, Manuel Abad
Publication date: 3 July 2012
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-010-0604-0
Related Items
Semi-Heyting Algebras and Identities of Associative Type, A note on chain‐based semi‐Heyting algebras, Intuitionistic logic is a connexive logic, A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions, Gentzen-style sequent calculus for semi-intuitionistic logic, Expansions of semi-Heyting algebras. I: Discriminator varieties, Semi-intuitionistic logic, On congruences in weak implicative semi-lattices, On some semi-intuitionistic logics, Semi-Heyting algebras term-equivalent to Gödel algebras, Semi-Nelson algebras
Cites Work