Results 21 to 30 of about 355 (91)
A localic theory of lower and upper integrals [PDF]
, 2008 An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the non-negative lower reals, then its lower integral with respect to a valuation is a lower real.
Vickers, Steven
core +2 more sources
A Cartesian Closed Extension of the Category of Locales [PDF]
, 2005 We present a Cartesian closed category ELOC of equilocales, which contains the category LOC of locales as a reflective full subcategory.
Heckmann, Reinhold
core +1 more source
C-connected frame congruences [PDF]
Categories and General Algebraic Structures with Applications, 2017 We discuss the congruences θ that are connected as elements of the (totally disconnected) congruence frame \CFL, and show that they are in a one-to-one correspondence with the completely prime elements of L, giving an explicit formula.
Dharmanand Baboolal +2 more
doaj +1 more source
A new look at localic interpolation theorems [PDF]
, 2003 This paper presents a new treatment of the localic Katetov-Tong interpolation theorem, based on an analysis of special properties of normal frames, which shows that it does not hold in full generality.
Arey +25 more
core +3 more sources
, 2010 LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF.
Florian Rabe, Karl Crary, Marino Miculan
core +2 more sources
Integrals and Valuations [PDF]
, 2008 We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable.
Coquand, Thierry, Spitters, Bas
core +9 more sources
Immunological Reviews, Volume 329, Issue 1, January 2025.ABSTRACT αβT cells protect vertebrates against many diseases, optimizing surveillance using mechanical force to distinguish between pathophysiologic cellular alterations and normal self‐constituents. The multi‐subunit αβT‐cell receptor (TCR) operates outside of thermal equilibrium, harvesting energy via physical forces generated by T‐cell motility and ...
Robert J. Mallis +19 more
wiley +1 more source
Embedding locales and formal topologies into positive topologies [PDF]
, 2017 A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale,
Ciraulo, Francesco, Sambin, Giovanni
core +1 more source
Verifying Strong Eventual Consistency in Distributed Systems [PDF]
, 2017 Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithms for achieving consistency in replicated systems are still poorly ...
Beresford, AR +3 more
core +2 more sources
Topologies for intermediate logics [PDF]
, 2012 We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an ...
Caramello, Olivia
core