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
https://portal.mardi4nfdi.de/entity/Q4726229	1985-01-01	Paper
A Non‐Boolean Version of Feferman‐Vaught's Theorem	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
Equations in the Theory of Monadic Algebras	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5635442	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5572317	1968-01-01	Paper

Research outcomes over time

This page was built for person: Thierry Lucas