Thierry Lucas

Available identifiers

zbMath Open lucas.thierryMaRDI QIDQ1840650

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4925907	2013-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q3520323	2008-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q5446439	2008-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5474631	2006-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4955428	2001-03-13	Paper
Sequent calculi and decision procedures for weak modal systems	2001-02-11	Paper
On modules and crossed modules	1996-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4858609	1996-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4861155	1996-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4861198	1996-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4858606	1996-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4295880	1994-06-15	Paper
Varying modal theories	1990-01-01	Paper
Toposes and intuitionistic theories of types	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4735194	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3781067	1986-01-01	Paper
A Non‐Boolean Version of Feferman‐Vaught's Theorem	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726229	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3676119	1984-01-01	Paper
A note on intuitionistic models of ZF	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3329628	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944605	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3897045	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3898484	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902987	1980-01-01	Paper
Universal classes of Monadic Algebras	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4123315	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088816	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4104115	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5682533	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5635442	1972-01-01	Paper
Equations in the Theory of Monadic Algebras	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5572317	1968-01-01	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: Thierry Lucas