Publications
Export 6 results:
Filters: First Letter Of Title is I [Clear All Filters]
, “Introduction”, Dialectica, vol. 62, pp. 145–147, 2008.
, “Improving semantic query answering”, in Proceedings of Database and Expert Systems Applications, 2007, vol. 4653, p. 671{–}679.
, “An intensional fixed point theory over first order arithmetic”, Annals of Pure and Applied Logic, vol. 128, p. 197{–}213, 2004.
, “Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo”, in One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference, 2004, p. 119{–}134.
, “Information Flow – Logics for the (R)age of Information”. Universität Bern, 2002.
, “Intuitionistic fixed point theories for strictly positive operators”, Mathematical Logic Quarterly, vol. 48, p. 195{–}202, 2002.