Sheaves and Logic

, &
Journal of Symbolic Logic 48 (4):1201-1203 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273683

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: M. P. Fourman, D. S. Scott, C. J. Mulvey, Sheaves and Logic. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Sheaves over right sided idempotent quantales.F. Miraglia & U. Solitro - 1998 - Logic Journal of the IGPL 6 (4):545-600.
Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
On some sheaves of special groups.Vincent Astier - 2007 - Archive for Mathematical Logic 46 (5-6):481-488.
Modules in the category of sheaves over quantales.Marcelo E. Coniglio & Francisco Miraglia - 2001 - Annals of Pure and Applied Logic 108 (1-3):103-136.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Algebraically closed MV-algebras and their sheaf representation.Antonio Di Nola, Anna R. Ferraioli & Giacomo Lenzi - 2013 - Annals of Pure and Applied Logic 164 (3):349-355.
Logic, sheaves, and factorization systems.G. P. Monro - 1993 - Journal of Symbolic Logic 58 (3):872-893.
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.Dmitrij Skvortsov - 2012 - Studia Logica 100 (1-2):361-383.
Identity and Existence in Intuitionistic Logic.Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Review: Saunders Mac Lane, Ieke Moerdjik, Sheaves in Geometry and Logic. A First Introduction to Topos Theory. [REVIEW]Andrew M. Pitts - 1995 - Journal of Symbolic Logic 60 (1):340-342.
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.

Analytics

Added to PP
2015-02-05

Downloads
58 (#269,307)

6 months
21 (#121,154)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
On the collection of points of a formal space.Giovanni Curi - 2006 - Annals of Pure and Applied Logic 137 (1-3):126-146.

View all 32 citations / Add more citations

References found in this work

No references found.

Add more references