Conference on Computer Logic 1988: Tallinn, USSR
N. G. de Bruijn
: The use of justification systems for integrated semantics.
: On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.
: beta-reductions and beta developments of lambda terms with the least number of steps.
V. A. Lyubetsky
: On some applications of Heyting-valued analysis II.
: Gentzen-type systems and resolution rules. Part I. Propositional logic.
Vladimir P. Orevkov
: Correctness of short proofs in theory with notions of feasibility.
: The resolution program, able to decide some solvable classes.
Sergei G. Vorobyov
: A structural completeness theorem for a class of conditional rewrite rule systems.