Lex Hendriks

According to our database, Lex Hendriks authored at least 6 papers between 1991 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Intuitionistic implication without disjunction.

Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh

J. Log. Comput., 2012

2003

Characterization of strongly equivalent logic programs in intermediate logics.

Dick De Jongh, Lex Hendriks

Theory Pract. Log. Program., 2003

2000

Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic.

Lex Hendriks

Ann. Pure Appl. Log., 2000

1999

Effective Logic Computation, Klaus Truemper.

Lex Hendriks

J. Log. Lang. Inf., 1999

1998

Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation.

Lex Hendriks

J. Log. Comput., 1998

1991

Computations in Fragments of Intuitionistic Propositional Logic.

Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette

J. Autom. Reason., 1991