iO

iO (1987)

Cached

Download Links

[www.phil.uu.nl]

by Unknown Authors

BibTeX

@MISC{87io,
    author = {},
    title = {iO},
    year = {1987}
}

Bookmark

OpenURL

Abstract

$os, * soy x,71 ly`y Department of Philosophy University of UtrechtApplications of constructive logic to sheaf constructions in toposes Paper corresponding to the talk delivered at

Citations

379	Introduction to higher order categorical logic - Lambek, Scott - 1986
157	Topos theory - Johnstone - 1977
42	Continuity and effectiveness in topoi - Rosolini - 1986
40	Toposes, triples and theories. Grundlehren der Mathematischen Wissenschaften, 278 - Barr, Wells - 1985
33	Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums - Gödel - 1933
27	La logique des topos - Boileau, Joyal - 1981
21	A modular approach to protocol verification using process algebra - Koymans, Mulder - 1990
19	The logic of topoi - Fourman - 1977
17	Process Algebra semantics for queues - Bergstra, Tiuryn - 1987
17	A course in bimodal provability logic - Visser - 1987
16	Module Algebra for relational specifications - Bergstra - 1986
15	Renardel de Lavalette, Interpolation in fragments of intuitionistic propositional logic - R - 1989
14	Put and get, primitives for synchronous unreliable message passing - Bergstra - 1985
14	de Vries, A functional program for Gaussian elimination - J - 1987
13	Tensed Intuitionistic Logic - Voorbraak - 1987
12	Syntactic translations and provably recursive functions - Leivant
12	Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas - Visser - 1985
12	Naess's dichotomy of tenability and relevance - Krabbe - 1986
12	Ditmarsch, Abstractie in wiskunde, expertsystemen en argumentatie, Augustus 1986 nr. 14 A.Visser, Peano's Smart Children, a provability logical study of systems with built-in consistency - van - 1986
12	de Vries, A functional program for the fast Fourier transform - J - 1987
11	A process creation mechanism - Bergstra - 1985
11	Kunnen wij elke machine verslaan? Beschouwingen rondom Lucas' argument - Visser - 1986
11	Creative reasoning informal discussion - Krabbe - 1987
10	de Vries, Intuitionistic free abelian groups - Dalen, J - 1986
9	Koymans & G.R. Renardel de Lavalette, A semantic framework for the COLD family of languages - Jonkers, J - 1986
8	A simplification of the completeness proofs for Guaspari and Solovay's nr. 9 R - Voorbraak - 1986
2	den Bossche, Algebra in a localic topos with applications to ring theory, SLM 1083 - Borceux, Van - 1983
1	1), Continuous Grothendieck topologies, Annales de la Societe Scientifique de - Borceux, Veit - 1986
1	2), On the left exactness of orthogonal reflections, Rapport 82, Institut de Mathematique pure et appliqued, Unversite Catholique de Louvain - Borceux, Veit - 1986
1	Localizations of a geometric category, Rapport 71, Institut de Mathematique pure et appliquee, Unversite Catholique de Louvain - Borceux - 1985
1	Type theory with a geometric modality and extensions to the reals - Vries - 1984
1	Toposes and intuitionistic theories of types, rapport no. 114, Seminaire Mathematique, Institut de mathematique pure et appliquee, Universite Catholique de Louvain - Lucas - 1987
1	An intuitionistic definition of classical natural numbers - Lifschitz
1	The logic of actual obligation, an alternative approach to deontic logic - Vocrbraak - 1987