71 results on '"HEYTING algebras"'
Search Results
2. An Algebraic Approach to Intuitionistic Connectives
3. Unification in Intuitionistic Logic
4. Cofinal Stable Logics
5. Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
6. Admissible Bases Via Stable Canonical Rules
7. The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
8. Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders
9. Weakly Intuitionistic Quantum Logic
10. Equality Algebras
11. On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
12. FINITELY GENERATED FREE HEYTING ALGEBRAS: THE WELL-FOUNDED INITIAL SEGMENT
13. Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
14. Extendible Formulas in Two Variables in Intuitionistic Logic
15. Frontal Operators in Weak Heyting Algebras
16. Topological Proofs of Some Rasiowa-Sikorski Lemmas
17. Fatal Heyting Algebras and Forcing Persistent Sentences
18. Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
19. On Some Compatible Operations on Heyting Algebras
20. Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
21. Expansions of Semi-Heyting Algebras I: Discriminator Varieties
22. Algebraic Functions
23. Semi-intuitionistic Logic
24. Priestley Duality for Paraconsistent Nelson's Logic
25. Some latticial properties of Hilbert algebras
26. On Second Order Intuitionistic Propositional Logic without a Universal Quantifier
27. An Infinitary Extension of Jankov's Theorem
28. Some classes of pseudo-MTL algebras
29. The Universal Group of a Heyting Effect Algebra
30. Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)²
31. Projective Beth Property in Extensions of Grzegorczyk Logic
32. Implicit Connectives of Algebraizable Logics
33. Closure Operators and Complete Embeddings of Residuated Lattices
34. Glivenko Type Theorems for Intuitionistic Modal Logics
35. Varieties of Three-Valued Heyting Algebras with a Quantifier
36. Varieties of Monadic Heyting Algebras. Part III
37. Completeness Theorems via the Double Dual Functor
38. Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics
39. Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
40. Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
41. Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras)
42. A First Approach to Abstract Modal Logics
43. Semi-De Morgan Algebras
44. Decidability Problem for Finite Heyting Algebras
45. Finitely Generated Free Heyting Algebras
46. On Decidable Varieties of Heyting Algebras
47. On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic
48. Some Remarks on the Algebraic Structure of the Medvedev Lattice
49. Varieties of Monadic Heyting Algebras Part II: Duality Theory
50. Injective and Projective Heyting Algebras
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.