Pages that link to "Item:Q2652482"

The following pages link to On closed elements in closure algebras (Q2652482):

Displaying 50 items.

• Join-completions of partially ordered algebras (Q2004958) (← links)
• On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) (← links)
• Duality theory for enriched Priestley spaces (Q2079656) (← links)
• Nuclear ranges in implicative semilattices (Q2131292) (← links)
• \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
• Structure theorems for idempotent residuated lattices (Q2182567) (← links)
• Complexity of the universal theory of modal algebras (Q2307300) (← links)
• Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
• Characteristic inference rules (Q2342800) (← links)
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets (Q2369012) (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
• Willem Blok and modal logic (Q2433092) (← links)
• Lattice subordinations and Priestley duality. (Q2443678) (← links)
• Characterising nested database dependencies by fragments of propositional logic (Q2478548) (← links)
• Functional and multivalued dependencies in nested databases generated by record and list constructor (Q2502161) (← links)
• A general theory of autometrized algebras (Q2520853) (← links)
• Dually residuated lattice ordered semigroups (Q2520863) (← links)
• Relation algebras and function semigroups (Q2539869) (← links)
• Algebraic properties of fuzzy sets (Q2544188) (← links)
• A theory of belief for scientific refutations (Q2576420) (← links)
• From partially ordered monoids to partially ordered groups via free nuclear preimages (Q2675057) (← links)
• Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
• Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
• Explicit provability and constructive semantics (Q2732527) (← links)
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
• Free algebras in the variety of three-valued closure algebras (Q3146371) (← links)
• The representations of S5 (Q3240848) (← links)
• Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations (Q3299867) (← links)
• Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces (Q3299872) (← links)
• Leon Henkin the Reviewer (Q3454809) (← links)
• Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
• The Procedures for Belief Revision (Q3600572) (← links)
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires (Q3808079) (← links)
• Neighbourhood lattices – a poset approach to topological spaces (Q3810500) (← links)
• On formulas of one variable in intuitionistic propositional calculus (Q3843602) (← links)
• The point of pointless topology (Q3965242) (← links)
• Functions and equations in classes of distributive lattices with pseudocomplementation (Q4055683) (← links)
• A Strange Remark Attributed to Gödel (Q4448891) (← links)
• WELL-FORMED SET REPRESENTATIONS OF SOLIDS (Q4513238) (← links)
• (Q4556013) (← links)
• KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
• (Q4625704) (← links)
• Finitely generated free Heyting algebras (Q4724609) (← links)
• On Functional Dependencies in Advanced Data Models (Q4924533) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
• (Q5214813) (← links)
• Modal translation of substructural logics (Q5217248) (← links)
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)