Lex Hendriks

Publication Activity (10 Years)

Years Active: 1991-2003
Publications (10 Years): 0

Publications

Dick De Jongh, Lex Hendriks
Characterization of strongly equivalent logic programs in intermediate logics. Theory Pract. Log. Program. 3 (3) (2003)
Dick De Jongh, Lex Hendriks
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics CoRR (2002)
Lex Hendriks
Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. Ann. Pure Appl. Log. 104 (1-3) (2000)
Lex Hendriks
Effective Logic Computation, Klaus Truemper. J. Log. Lang. Inf. 8 (4) (1999)
Lex Hendriks
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. J. Log. Comput. 8 (4) (1998)
Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
Computations in Fragments of Intuitionistic Propositional Logic. J. Autom. Reason. 7 (4) (1991)