Pages that link to "Item:Q2652482"
From MaRDI portal
The following pages link to On closed elements in closure algebras (Q2652482):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Topological proofs of some Rasiowa-Sikorski lemmas (Q454394) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets (Q581388) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Partial inner product spaces: some categorical aspects (Q666342) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- On the variety of Gödel MV-algebras (Q780196) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Deciding implication for functional dependencies in complex-value databases (Q860838) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- An effective representation for finitely generated free interior algebras (Q1063013) (← links)
- The word problem for \(Heyting^ *\) algebras (Q1095167) (← links)
- Heyting* algebras, topological Boolean algebras and P.O. systems (Q1102308) (← links)
- Embeddings of implicative lattices and superintuitionistic logics (Q1112806) (← links)
- Elementary equivalence of topological spaces (Q1140633) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- On representation of finite pseudo-Boolean algebras and one of its applications (Q1206268) (← links)
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- Proof of a conjecture of Roman Suszko (Q1225043) (← links)
- Relative pseudo-complements, join-extensions, and meet-retractions (Q1235197) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Notes on \(\eta\)-lattices and constructive logic with strong negation (Q1249170) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- Real functions for representation of rigid solids (Q1324661) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Particle-free bodies and point-free spaces (Q1621830) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Interpretations into Heyting algebras (Q1820182) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- An operation related to the Cantor-Bendixson derivative (Q1842595) (← links)
- A method of representing rough sets system determined by quasi orders (Q1943683) (← links)
- \(E=I+T\): the internal extent formula for compacted tries (Q1944889) (← links)
- Existentially closed closure algebras (Q1981991) (← links)
- L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation (Q1985746) (← links)
