The following pages link to Clint J. van Alten (Q1826929):
Displaying 44 items.
- (Q178150) (redirect page) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Implicational subreducts of \(n\)-potent commutative residuated lattices (Q995378) (← links)
- Positive Sugihara monoids (Q995381) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- (Q1697345) (redirect page) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- Rule separation and embedding theorems for logics without weakening (Q1826930) (← links)
- The finite model property for the implicational fragment of IPC without exchange and contraction (Q1970644) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- A note on monothetic BCI (Q2372686) (← links)
- Prelinear algebras in relatively regular quasivarieties (Q2376911) (← links)
- On the variety of Riesz spaces (Q2381835) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Representable pseudo-BCK-algebras and integral residuated lattices (Q2466509) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Embedding ordered sets into distributive lattices (Q2520717) (← links)
- Congruence properties in congruence permutable and in ideal determined varieties, with applications. (Q2577740) (← links)
- (Q2752408) (← links)
- (Q2752417) (← links)
- Preservation theorems for MTL-chains (Q2885175) (← links)
- The canonical FEP construction (Q2983392) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
- (Q3390427) (← links)
- Structural Completeness in Substructural Logics (Q3544316) (← links)
- (Q4359793) (← links)
- Distributive and completely distributive lattice extensions of ordered sets (Q4576001) (← links)
- The Termwise Equivalence of The Varieties of<i>L</i>-group Cones and Cancellative Generalized Hoops (Q4652990) (← links)
- (Q4943158) (← links)
- ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION (Q4949948) (← links)
- On Levine’s notorious hat puzzle (Q5096033) (← links)
- An algebraic look at filtrations in modal logic (Q5176659) (← links)
- Relational Representation Theorems for Lattices with Negations: A Survey (Q5302029) (← links)
- A vector lattice version of r˚ adström's embedding theorem (Q5453508) (← links)
- Relational Representation Theorems for General Lattices with Negations (Q5459180) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- (Q5488264) (← links)
- On the lattice of varieties of residuation algebras (Q5932484) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
