Results 71 to 80 of about 255 (119)
, 2005 Classical logic enforces the separation of individuals and predicates, linear logic draws them together via interaction; these are not right-orwrong alternatives but dual or complementary logics. Linear logic is an incomplete realization of this duality.
Vaughan Pratt
core
Bicompletable Standard Fuzzy Quasi-Metric Space [PDF]
Journal of Applied & Computational Mathematics, 2015 openaire +1 more source
Linear Logic complements Classical Logic
, 1996 Classical logic enforces the separation of individuals and predicates, linear logic draws them together via interaction; these are not right-or-wrong alternatives but dual or complementary logics. Linear logic is an incomplete realization of this duality.
Vaughan Pratt
core
Cauchy Filters and Strong Completeness of Quasi-Uniform Spaces
, 2007 We introduce and study the notions of a strongly completable and of a strongly complete quasi-uniform space. A quasi-uniform space is said to be strongly complete if every Cauchy filter (in the sense of Sieber and Pervin) clusters in the uniform space (
Salvador Romaguera, Michel Schellekens
core
Spectral sequences via linear presheaves
We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page.
Whitehouse, Sarah, Livernet, Muriel
core
Maximal classes of spaces and domains determined by topologies on function spaces of domains
, 2017 Xiaoyong Xi +3 more
semanticscholar +1 more source
Quasi-Metrizable spaces with a bicomplete structure
, 1992 Romaguera Bonilla, Salvador, Salbany, S.
core +1 more source
We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after ...
Pérez, Marco A., Becerril, Víctor
core
Topologically bicomplete model categories
Mathematical Surveys, 2006 J Sigurdsson
exaly +4 more sources