Expansions of semi-Heyting algebras. I: Discriminator varieties
From MaRDI portal
(Redirected from Publication:763318)
Recommendations
- Discriminator varieties of double-Heyting algebras
- Expansions of dually pseudocomplemented Heyting algebras
- Semialgebraic Expansions of C
- Semi-Heyting algebras and identities of associative type
- Compact algebras in discriminator varieties
- A note on regular De Morgan semi-Heyting algebras
- scientific article; zbMATH DE number 5510319
- De Morgan semi-Heyting and Heyting algebras
- Almost semi Heyting algebras
- Discriminants of etale algebras and related structures.
Cites work
- scientific article; zbMATH DE number 3134289 (Why is no real title available?)
- scientific article; zbMATH DE number 3140508 (Why is no real title available?)
- scientific article; zbMATH DE number 3142898 (Why is no real title available?)
- scientific article; zbMATH DE number 3859191 (Why is no real title available?)
- scientific article; zbMATH DE number 5510319 (Why is no real title available?)
- scientific article; zbMATH DE number 3663202 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3561405 (Why is no real title available?)
- scientific article; zbMATH DE number 651728 (Why is no real title available?)
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3271476 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- scientific article; zbMATH DE number 3032487 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- A discriminator variety of Heyting algebras with involution
- A subdirectly irreducible double Heyting algebra which is not simple
- Algebras Whose Congruence Lattices are Distributive.
- An algebraic approach to non-classical logics
- Discriminator varieties and symbolic computation
- Distributive lattices with an additional unary operation
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Free L-algebras
- Heyting Algebras with a Dual Lattice Endomorphism
- Heyting algebras with dual pseudocomplementation
- Lattices With Involution
- Logic with truth values in A linearly ordered heyting algebra
- On closed elements in closure algebras
- P-algebras, an abstraction from Post algebras
- Pseudocomplemented Okham and Demorgan Algebras
- Quasi‐Stone algebras
- Semi-de Morgan algebras
- Sheaf Constructions and Their Elementary Properties
- Some theorems about the sentential calculi of Lewis and Heyting
- Subdirectly irreducible distributive double p-algebras
- Subdirectly irreducible double Heyting algebras
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- The Lattice Theory of Post Algebras
- The determination congruence on double p-algebras
- The separation theorem of intuitionist propositional calculus
- The structure of distributive double p-algebras. Regularity and congruences
- The variety generated by semi-Heyting chains
- The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
- Topological representations of distributive lattices and Brouwerian logics
Cited in
(21)- Expansions of dually pseudocomplemented Heyting algebras
- The semi Heyting-Brouwer logic
- Semi-Heyting algebras term-equivalent to Gödel algebras
- Semi-Nelson algebras
- Free-decomposability in varieties of semi-Heyting algebras
- Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity
- Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity
- A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
- A note on chain‐based semi‐Heyting algebras
- Discriminator varieties of double-Heyting algebras
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
- JI-distributive, dually quasi-de Morgan semi-Heyting and Heyting algebras
- A categorial equivalence for semi-Nelson algebras
- A note on regular De Morgan semi-Heyting algebras
- Gentzen-style sequent calculus for semi-intuitionistic logic
- Semi-Heyting algebras and identities of associative type
- \(l\)-hemi-implicative semilattices
- Dually hemimorphic semi-Nelson algebras
- On congruences in weak implicative semi-lattices
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- De Morgan semi-Heyting and Heyting algebras
This page was built for publication: Expansions of semi-Heyting algebras. I: Discriminator varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763318)
