Continuity and geometric logic

Journal of Applied Logic 12 (1):14-27 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.07.004

Links

PhilArchive



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

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

Characterising Near Continuity Constructively.Douglas Bridges & Luminiţa Vîţă - 2001 - Mathematical Logic Quarterly 47 (4):535-538.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Stability in geometric theories.Jerry Gagelman - 2005 - Annals of Pure and Applied Logic 132 (2-3):313-326.
The problematic of continuity: Nishida kitarō and Aristotle.Tao Jiang - 2005 - Philosophy East and West 55 (3):447-460.
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
A localic theory of lower and upper integrals.Steven Vickers - 2008 - Mathematical Logic Quarterly 54 (1):109-123.
The Absolute Arithmetic and Geometric Continua.Philip Ehrlich - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:237 - 246.
Topological representation of geometric theories.Henrik Forssell - 2012 - Mathematical Logic Quarterly 58 (6):380-393.
Cut-elimination and interpolation for Ω-logic.Jacqueline Vauzeilles - 1988 - Archive for Mathematical Logic 27 (2):161-175.
Formal continuity implies uniform continuity near compact images on metric spaces.Erik Palmgren - 2014 - Mathematical Logic Quarterly 60 (1-2):66-69.
Strong continuity implies uniform sequential continuity.Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa - 2005 - Archive for Mathematical Logic 44 (7):887-895.
Automatic continuity of group homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
Linear transformations in unitary geometric algebra.Garret Sobczyk - 1993 - Foundations of Physics 23 (10):1375-1385.

Analytics

Added to PP
2016-06-30

Downloads
13 (#968,869)

6 months
2 (#1,114,623)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Geometric Implications.Amirhossein Akbar Tabatabai - forthcoming - Studia Logica:1-30.

Add more citations

References found in this work

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Partial Horn logic and cartesian categories.Erik Palmgren & Steven J. Vickers - 2007 - Annals of Pure and Applied Logic 145 (3):314-353.
Cosheaves and connectedness in formal topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.

View all 6 references / Add more references