Ny bog - Hybrid Logic and its Proof-Theory
Ny bog af lektor Torben Braüner, forskningsgruppen Programmering, Logik og Intelligente Systemer, Institut for Kommunikation, Virksomhed og Informationsteknologier, Roskilde Universitet. Bogen handler om såkaldt hybrid logik, og er den første behandling af dette emne på bogform.
Hybrid logik krydser grænserne for datalogi og filosofisk logik, hvilket hænger sammen med, at informationsteknologi i stigende grad kræver udtrykskraftige logikker til at relatere computersystemer til den menneskelige verden. Bogen som udkommer i november 2010, er baseret på Torben Braüners doktorafhandling fra 2009. En del af afhandlingen udgives også som et kapitel i den prestigiøse Handbook of Philosophical Logic.
For yderligere information kontakt:
Lektor Torben Braüner, Institut for Kommunikation, Virksomhed og Informationsteknologier, Roskilde Universitet, tlf. 4674-3840, e-mail: torben(at)ruc.dk