Results 51 to 60 of about 932,936 (91)
, 1976 This thesis surveys the theory of those categories called elementary topoi, with particular emphasis on the relationship between topoi and mathematical logic.
Brockway, Michael John
core
Streamlining scheme theory with topoi [PDF]
openA course in scheme theory entirely from the internal perspective of the sheaf topos: The thesis presents the concepts of topoi ane how to work with the internal logic of a topos, and then follows the guidelines of Hartshorne's "Algebraic Geometry ...
TOGNETTI, FRANCESCO
core
A Survey of Fuzzy Set and Topos theory
, 1991 This paper is a comparison and contrast of approaches to many-valued mathematics offered by Fuzzy Set theory and topos theory. It gives a survey of the categorical foundations of Fuzzy Set theory and related topoi.
Stout, Lawrence
core
Categorical models of linear logic revisited [PDF]
, 2002 In this survey, we review the existing categorical axiomatizations of linear logic, with a special emphasis on Seely and Lafont presentations. In a first part, we explain why Benton, Bierman, de Paiva and Hyland had to replace Seely categories by a more ...
Paul-André Melliès +1 more
core
The Logic of Quantum Programs. [PDF]
, 2004 We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
Smets, Sonja +3 more
core
Dagger linear logic and categorical quantum mechanics
, 2023 This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).
Srinivasan, Priyaa Varshinee
core
Alrededor de la lógica categórica infinitaria
Se estudia una generalización de la lógica categórica para lenguajes infinitarios. Principalmente se trabaja con una generalización de los topos de Grothendieck, que también generalizan los topos usados por Espíndola, y se estudia como esta definición ...
Roldan Moros, Samuel Felipe
core +1 more source
Ultraproducts in abstract categorical logic [PDF]
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g., Cartesian ...
Pascual, Romain +2 more
core +1 more source
Syntactic Multicategories and Categorical Combinators for Linear Logic
, 1993 ) Eike Ritter Valeria de Paiva Computer Laboratory University of Cambridge 1 Introduction This paper contributes to the area of "categorical combinatory logic" or "categorical combinators", following the steps of Curien [Cur93] and ...
Eike Ritter, Valeria Paiva
core