Ermanno Bencivenga

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2014 J jnl
Jaśkowski's Universally Free Logic.
Stud Logica
Ermanno Bencivenga
1986 J jnl
A free logic with simple and complex predicates.
Notre Dame J. Formal Log.
Ermanno Bencivenga, Karel Lambert
1986 J jnl
Analyticity and analytical truth.
Notre Dame J. Formal Log.
Ermanno Bencivenga
1985 J jnl
Strong Completeness of a Pure Free Logic.
Math. Log. Q.
Ermanno Bencivenga
1984 J jnl
A possibility-free logic of descriptions.
Arch. Math. Log.
Ermanno Bencivenga
1984 J jnl
Finitary consistency of a free arithmetic.
Notre Dame J. Formal Log.
Ermanno Bencivenga
1983 J jnl
Compactness of a Supervaluational Language.
J. Symb. Log.
Ermanno Bencivenga
1982 J jnl
The ineliminability of E! in free quantification theory without identity.
J. Philos. Log.
Robert K. Meyer, Ermanno Bencivenga, Karel Lambert
1981 J jnl
Semantic Tableaux for A Logic With Identity.
Math. Log. Q.
Ermanno Bencivenga
1980 J jnl
A weak free logic with the existence sign.
Notre Dame J. Formal Log.
Ermanno Bencivenga
1979 J jnl
On good and bad arguments.
J. Philos. Log.
Ermanno Bencivenga
1978 J jnl
A semantics for a weak free logic.
Notre Dame J. Formal Log.
Ermanno Bencivenga
1978 J jnl
Free semantics for indefinite descriptions.
J. Philos. Log.
Ermanno Bencivenga
1977 J jnl
Are arithmetical truths analytic? New results in free set theory.
J. Philos. Log.
Ermanno Bencivenga
1976 J jnl
Set theory and free logic.
J. Philos. Log.
Ermanno Bencivenga