1. Proto-semantics for positive free logic;Antonelli;Journal of Philosophical Logic,2000
2. Foundations of Constructive Mathematics;Beeson,1985
3. A modal version of free logic;Barba;Topoi,1989
4. Set theory and free logic;Bencivenga;Journal of Philosophical Logic,1976
5. Are arithmetical truths analytic: new results in free set theory;Bencivenga;Journal of Philosophical Logic,1977