Karel Lambert

According to our database, Karel Lambert authored at least 10 papers between 1963 and 2001.

Collaborative distances:

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

2001

From Predication to Programming.

Karel Lambert

Minds Mach., 2001

1994

Outline of a theory of scientific understanding.

Gerhard Schurz, Karel Lambert

Synth., 1994

1986

A free logic with simple and complex predicates.

Ermanno Bencivenga, Karel Lambert

Notre Dame J. Formal Log., 1986

1982

The ineliminability of E! in free quantification theory without identity.

Robert K. Meyer, Ermanno Bencivenga, Karel Lambert

J. Philos. Log., 1982

1974

Predication and extensionality.

Karel Lambert

J. Philos. Log., 1974

1972

Notes on free description theory: Some philosophical issues and consequences.

Karel Lambert

J. Philos. Log., 1972

1968

Universally Free Logic and Standard Quantification Theory.

Robert K. Meyer, Karel Lambert

J. Symb. Log., 1968

1967

Free logic and the concept of existence.

Karel Lambert

Notre Dame J. Formal Log., 1967

1965

On logic an existence.

Karel Lambert

Notre Dame J. Formal Log., 1965

1963

Existential import revisited.

Karel Lambert

Notre Dame J. Formal Log., 1963