Lex Hendriks

Available identifiers

zbMath Open hendriks.lexMaRDI QIDQ1181712

List of research outcomes

Publication	Date of Publication	Type
Intuitionistic implication without disjunction	2012-06-20	Paper
Characterization of strongly equivalent logic programs in intermediate logics	2004-03-01	Paper
Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic	2001-01-04	Paper
Intuitionistic propositional logic with only equivalence has no interpolation	1998-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4347145	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4896508	1997-07-01	Paper
Computations in fragments of intuitionistic propositional logic	1992-06-27	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: Lex Hendriks