A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi - Dell Curry - Document - PDFSEARCH.IO

First Page	Meta Content
	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Document Date: 2007-05-22 01:39:22 Open Document File Size: 197,33 KB Share Result on Facebook City Milano / Varese / / Company Cambridge University Press / Object Oriented Information Systems / Kassel University Press / Xerox / itN / / Country Italy / / Currency pence / / IndustryTerm by-product / food / / Organization Cambridge University / IEEE Computer Society / / Position editor / / ProvinceOrState North Carolina / / SocialTag Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic

A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, ViAdd to Reading List