The following pages link to Ermanno Bencivenga (Q797575):
Displayed 25 items.
- Finitary consistency of a free arithmetic (Q797576) (← links)
- A weak free logic with the existence sign (Q1132089) (← links)
- The ineliminability of \(E|\) in free quantification theory without identity (Q1165831) (← links)
- A new modal language with the lambda operator (Q1171049) (← links)
- Set theory and free logic (Q1233014) (← links)
- A semantics for a weak free logic (Q1242897) (← links)
- Are arithmetical truths analytic? New results in free set theory (Q1242919) (← links)
- Free semantics for indefinite descriptions (Q1252213) (← links)
- Theories of the logos (Q1684066) (← links)
- A free logic with simple and complex predicates (Q1820146) (← links)
- Jaśkowski's universally free logic (Q2259007) (← links)
- (Q2776062) (← links)
- (Q2776070) (← links)
- (Q3222156) (← links)
- A possibility-free logic of descriptions (Q3346289) (← links)
- Compactness of a supervaluational language (Q3671133) (← links)
- Strong Completeness of a Pure Free Logic (Q3682469) (← links)
- (Q3890667) (← links)
- (Q3901496) (← links)
- Semantic Tableaux for A Logic With Identity (Q3909037) (← links)
- (Q3977029) (← links)
- (Q4023225) (← links)
- (Q4033735) (← links)
- (Q4342084) (← links)
- (Q4817184) (← links)