Existential import revisited. - Karel Lambert (Notre Dame J. Formal Log., 1963)

On logic an existence. - Karel Lambert (Notre Dame J. Formal Log., 1965)

Free logic and the concept of existence. - Karel Lambert (Notre Dame J. Formal Log., 1967)

Universally Free Logic and Standard Quantification Theory. - Robert K. Meyer; Karel Lambert (J. Symb. Log., 1968)

Notes on free description theory: Some philosophical issues and consequences. - Karel Lambert (J. Philos. Log., 1972)

Predication and extensionality. - Karel Lambert (J. Philos. Log., 1974)

The ineliminability of E! in free quantification theory without identity. - Robert K. Meyer; Ermanno Bencivenga; Karel Lambert (J. Philos. Log., 1982)

A free logic with simple and complex predicates. - Ermanno Bencivenga; Karel Lambert (Notre Dame J. Formal Log., 1986)

Outline of a theory of scientific understanding. - Gerhard Schurz; Karel Lambert (Synth., 1994)

From Predication to Programming. - Karel Lambert (Minds Mach., 2001)