Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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