Pages that link to "Item:Q2652482"
From MaRDI portal
The following pages link to On closed elements in closure algebras (Q2652482):
Displaying 22 items.
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- Implicative Semi-Lattices (Q5336342) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)
- Some Remarks on Evaluations of the Primitive Logic (Q5592227) (← links)
- Injective and Projective Heyting Algebras (Q5597549) (← links)
- Meet-Irreducible Elements in Implicative Lattices (Q5675758) (← links)
- Proofs of non-deducibility in intuitionistic functional calculus (Q5787742) (← links)
- Representation of Jordan and Lie Algebras (Q5790198) (← links)
- Some theorems about the sentential calculi of Lewis and Heyting (Q5796041) (← links)
- <i>L</i>-algebras and topology (Q5879275) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- On subvarieties of symmetric closure algebras (Q5935988) (← links)
- Stone space partitions indexed by a poset (Q6040802) (← links)
- Bisimulation and propositional intuitionistic logic (Q6044128) (← links)
- McKinsey-Tarski algebras: an alternative pointfree approach to topology (Q6057676) (← links)
- Involutive symmetric Gödel spaces, their algebraic duals and logic (Q6103512) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- The prime spectrum of an \(L\)-algebra (Q6566372) (← links)
- Description lattices of generalised convex hulls (Q6638833) (← links)
