Search
Now showing items 21-30 of 52
(Research report / Forskningsrapport, 1996)
We use domains with totality, density and co-density to define transfinite proof-systems, generalising omega-logic and in some sense, the beta-logic of Girard. We prove a cut elimination theorem for these logical systems. ...
(Research report / Forskningsrapport, 1996)
(Series / Serietittel, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)
(Research report / Forskningsrapport, 1996)