Clint J. van Alten

Available identifiers

zbMath Open van-alten.clint-jMaRDI QIDQ1826929

List of research outcomes

Publication	Date of Publication	Type
Complexity of the universal theory of residuated ordered groupoids	2023-08-14	Paper
On Levine’s notorious hat puzzle	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3390427	2022-03-24	Paper
Computational complexity for bounded distributive lattices with negation	2021-06-14	Paper
Complexity of the universal theory of modal algebras	2020-03-27	Paper
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids	2019-10-12	Paper
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids	2019-08-09	Paper
Distributive and completely distributive lattice extensions of ordered sets	2018-07-12	Paper
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras	2018-02-19	Paper
The canonical FEP construction	2017-05-17	Paper
Embedding ordered sets into distributive lattices	2016-12-16	Paper
An algebraic look at filtrations in modal logic	2015-02-27	Paper
Modal MTL-algebras	2014-04-14	Paper
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras	2014-01-10	Paper
Prelinear algebras in relatively regular quasivarieties	2013-06-26	Paper
Preservation theorems for MTL-chains	2012-05-21	Paper
Completion and finite embeddability property for residuated ordered algebras.	2010-09-10	Paper
Relational Representation Theorems for Lattices with Negations: A Survey	2009-01-20	Paper
Structural Completeness in Substructural Logics	2008-12-05	Paper
Relational Representation Theorems for General Lattices with Negations	2008-04-24	Paper
A vector lattice version of r˚ adström's embedding theorem	2008-04-01	Paper
On the variety of Riesz spaces	2007-09-19	Paper
Implicational subreducts of \(n\)-potent commutative residuated lattices	2007-09-03	Paper
On varieties of biresiduation algebras	2006-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5488264	2006-09-14	Paper
The finite model property for knotted extensions of propositional linear logic	2006-02-08	Paper
Congruence properties in congruence permutable and in ideal determined varieties, with applications.	2006-01-06	Paper
On the finite embeddability property for residuated ordered groupoids	2005-07-26	Paper
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.	2005-04-19	Paper
The Termwise Equivalence of The Varieties ofL-group Cones and Cancellative Generalized Hoops	2005-02-28	Paper
Rule separation and embedding theorems for logics without weakening	2004-08-06	Paper
Representable biresiduated lattices	2002-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q2752408	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2752417	2002-03-25	Paper
On the lattice of varieties of residuation algebras	2001-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4943158	2000-10-26	Paper
The finite model property for the implicational fragment of IPC without exchange and contraction	2000-06-04	Paper
ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION	2000-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4359793	1999-05-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Clint J. van Alten