On some compatible operations on Heyting algebras
From MaRDI portal
(Redirected from Publication:763330)
Recommendations
Cites work
- scientific article; zbMATH DE number 5872208 (Why is no real title available?)
- scientific article; zbMATH DE number 3968648 (Why is no real title available?)
- scientific article; zbMATH DE number 3976993 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3217917 (Why is no real title available?)
- An algebraic approach to intuitionistic connectives
- Completeness in arithmetical algebras
- New solutions to Novikov's problem for intuitionistic connectives
- On frontal Heyting algebras
- On some new intuitionistic propositional connectives. I
- On the variety of Heyting algebras with successor generated by all finite chains
- The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
Cited in
(11)- Principal congruences in weak Heyting algebras
- The theory of commuting subalgebras of complete Heyting algebras
- Frontal operators in weak Heyting algebras
- Heyting algebras and formal languages
- Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
- On frontal Heyting algebras
- On the variety of Heyting algebras with successor generated by all finite chains
- Compatible operations on commutative weak residuated lattices
- On congruences in weak implicative semi-lattices
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
This page was built for publication: On some compatible operations on Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763330)