The following pages link to (Q4530231):
Displaying 50 items.
- Isbell conjugacy and the reflexive completion (Q5004671) (← links)
- Modulars from Nakano onwards (Q5006189) (← links)
- (Q5009421) (← links)
- (Q5014443) (← links)
- (Q5018505) (← links)
- A representation of continuous lattices based on closure spaces (Q5023610) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Ockham Algebras—An Urquhart Legacy (Q5027244) (← links)
- (Q5028421) (← links)
- (Q5028425) (← links)
- (Q5028487) (← links)
- Split exact sequences of finite MTL-chains (Q5029666) (← links)
- A computational procedure for variable selection preserving different initial conditions (Q5030589) (← links)
- Number Conservation via Particle Flow in One-dimensional Cellular Automata (Q5044392) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- Expanding Belnap 2: the dual category in depth (Q5053418) (← links)
- Scalable Visual Analytics in FCA (Q5054985) (← links)
- Towards Distributivity in FCA for Phylogenetic Data (Q5054987) (← links)
- (Q5055322) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Real subset sums and posets with an involution (Q5063203) (← links)
- Erratum and addendum to ‘Recovering a compact Hausdorff space $X$ from the compatibility ordering on $C(X)$’ (Fund. Math. 242 (2018), 187–205) (Q5066174) (← links)
- Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (Q5071539) (← links)
- Locally finite complexes, modules and generalized information systems (Q5073316) (← links)
- (Q5077091) (← links)
- Pre-image of functions in $C(L)$ (Q5077340) (← links)
- (Q5077350) (← links)
- (Q5080917) (← links)
- On essential elements in a lattice and Goldie analogue theorem (Q5083034) (← links)
- (Q5086246) (← links)
- Normal Ω-subgroups (Q5086875) (← links)
- (Q5089311) (← links)
- (Q5093394) (← links)
- (Q5094086) (← links)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- Counting and Computing Join-Endomorphisms in Lattices (Q5098726) (← links)
- Broadening Label-Based Argumentation Semantics with May-Must Scales (Q5098740) (← links)
- Unique Tarski Fixed Points (Q5108236) (← links)
- <i>m</i>-Algebraic lattices in formal concept analysis (Q5108534) (← links)
- (Q5109521) (← links)
- (Q5111018) (← links)
- (Q5111641) (← links)
- Benchmarking over Distributive Lattices (Q5115733) (← links)
- Some Results on Extension of Lattice-Valued XOR, XOR-Implications and E-Implications (Q5117245) (← links)
- (Q5119388) (← links)
- Survey on Cauchy Functional Equation in Lattice Environments (Q5120017) (← links)
