Experimental logics and Δ inf2 sup0 - theories R. G. Jeroslow OriginalPaper 01 August 1975 Pages: 253 - 267
A free logic with intensions as possible values of terms G. H. Merrill OriginalPaper 01 August 1975 Pages: 293 - 326