Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Avellone, A; Ferrari, M; and Miglioli, P Logic Journal of the IGPL, 7(4):447-480, 1999.
bibtex   
@article{doi:10.1093/jigpal/7.4.447,
		author = {Avellone, A and Ferrari, M and Miglioli, P},
		title = {Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics},
		journal = {Logic Journal of the IGPL},
		volume = {7},
		number = {4},
		pages = {447-480},
		year = {1999},
		_bla_doi = {10.1093/jigpal/7.4.447},
		eprint = {/oup/backfile/content_public/journal/jigpal/7/4/10.1093/jigpal/7.4.447/2/070447.pdf}
}
Downloads: 0