Zoekresultaten
Resultaat 1 - 20 (van 34)
A. Visser Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas
Engels | 58 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1985
Gedrukt boek
A. Visser Prolegomena to the categorical study of interpretations
Non-fictie
Engels | 24 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
L.D. Beklemishev | A. Visser Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
A. Visser Propositional logics of closed and open substitutions of Heyting's arithmetic
Non-fictie
Engels | 13 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
A. Visser Categories of theories and interpretations
Non-fictie
Engels | 64 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
A. Visser No escape from Vardanyan's theorem
Non-fictie
Engels | 14 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Joost J. Joosten | A. Visser The interpretability logic of all reasonable arithmetical theories
the new conjecture
Non-fictie
Engels | 25 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
A. Visser Submodels of Kripke Models
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
A. Visser An overview of interpretability logic
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
A. Visser Prolegomena to the definition of dynamic predicate logic with local assignments
Non-fictie
Engels | 36 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1997
Gedrukt boek
A. Visser Relational validity & dynamic predicate logic
Non-fictie
Engels | 7 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser Context in dynamic predicate logic
Non-fictie
Engels | 21 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser The unprovability of small inconsistency
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
A. Visser An inside view of EXP, or the closed fragment of the provability logic of I→DN⇋ 0 →O⇋ with a propositional constant for EXP
Non-fictie
Engels | 38 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1990
Gedrukt boek
Dick de Jongh | A. Visser Explicit fixed points for interpretability logic
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
A. Visser On the →S01⇋-conservativity of →S01⇋-completeness
Non-fictie
Engels | 9 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
A. Visser A descending hierarchy of reflection principles
Non-fictie
Engels | 6 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
A. Visser A course in bimodal provability logic
Non-fictie
Engels | 54 pagina's | University of Utrecht, Department of Philosophy, Utrecht | 1987
Gedrukt boek
A. Visser Peano's smart children
a provability logical study of systems with built-in consistency
Non-fictie
Engels | 49 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1986
Gedrukt boek