# Publications

Export 120 results:
Filters: Type is Journal Article  [Clear All Filters]
1999
: Bar induction and $\omega$ model reflection. Annals of Pure and Applied Logic. 97, 221-230 (1999).
: The proof-theoretic analysis of transfinitely iterated fixed point theories. The Journal of Symbolic Logic. 64, 53-67 (1999).
1997
Strahm, T.: Polynomial time operations in explicit mathematics. The Journal of Symbolic Logic. 62, 575-594 (1997).
Jäger, G.: Power types in explicit mathematics?. The Journal of Symbolic Logic. 62, 1142-1146 (1997).
: Relations between propositional normal modal logics: an overview. Journal of Logic and Computation. 7, 649-658 (1997).
1996
: A logics workbench. The European Journal on Artificial Intelligence. 9, 53-58 (1996).
Heuerding, A.: LWBtheory: information about some propositional logics via the WWW. Journal of the Interest Group in Pure and Applied Logic. 4, 196-174 (1996).
Strahm, T.: Partial applicative theories and explicit substitutions. Journal of Logic and Computation. 6, 55-77 (1996).
: Some theories with positive induction of ordinal strength $\varphi \omega 0$. The Journal of Symbolic Logic. 61, 818-842 (1996).
: Systems of explicit mathematics with non-constructive $μ$-operator and join. Annals of Pure and Applied Logic. 82, 193-219 (1996).
: Systems of explicit mathematics with non-constructive $μ$-operator. Part II. Annals of Pure and Applied Logic. 79, 37-52 (1996).
: The logics workbench LWB: a snapshot. Euromath Bulletin. 2, 177-186 (1996).
1995
: Second order theories with ordinals and elementary comprehension. Archive for Mathematical Logic. 34, 345-375 (1995).
: Totality in applicative theories. Annals of Pure and Applied Logic. 74, 105-120 (1995).
1994
: About some symmetries of negation. The Journal of Symbolic Logic. 59, 473-485 (1994).
1993
Jäger, G.: Fixed points in Peano arithmetic with ordinals. Annals of Pure and Applied Logic. 60, 119-132 (1993).
: Systems of explicit mathematics with non-constructive $μ$-operator. Part I. Annals of Pure and Applied Logic. 65, 243-263 (1993).
: The defining power of stratified and hierarchical logic programs. Journal of Logic Programming. 15, 55-77 (1993).