Ermanno Bencivenga

According to our database, Ermanno Bencivenga authored at least 15 papers between 1976 and 2014.

Collaborative distances:

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

2014

Jaśkowski's Universally Free Logic.

Ermanno Bencivenga

Stud Logica, 2014

1986

A free logic with simple and complex predicates.

Ermanno Bencivenga, Karel Lambert

Notre Dame J. Formal Log., 1986

Analyticity and analytical truth.

Ermanno Bencivenga

Notre Dame J. Formal Log., 1986

1985

Strong Completeness of a Pure Free Logic.

Ermanno Bencivenga

Math. Log. Q., 1985

1984

Finitary consistency of a free arithmetic.

Ermanno Bencivenga

Notre Dame J. Formal Log., 1984

A possibility-free logic of descriptions.

Ermanno Bencivenga

Arch. Math. Log., 1984

1983

Compactness of a Supervaluational Language.

Ermanno Bencivenga

J. Symb. Log., 1983

1982

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

Robert K. Meyer, Ermanno Bencivenga, Karel Lambert

J. Philos. Log., 1982

1981

Semantic Tableaux for A Logic With Identity.

Ermanno Bencivenga

Math. Log. Q., 1981

1980

A weak free logic with the existence sign.

Ermanno Bencivenga

Notre Dame J. Formal Log., 1980

1979

On good and bad arguments.

Ermanno Bencivenga

J. Philos. Log., 1979

1978

A semantics for a weak free logic.

Ermanno Bencivenga

Notre Dame J. Formal Log., 1978

Free semantics for indefinite descriptions.

Ermanno Bencivenga

J. Philos. Log., 1978

1977

Are arithmetical truths analytic? New results in free set theory.

Ermanno Bencivenga

J. Philos. Log., 1977

1976

Set theory and free logic.

Ermanno Bencivenga

J. Philos. Log., 1976