1.  28
    Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
    We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
  2.  18
    A Distinguishable Model Theorem for the Minimal US-Tense Logic.Fabio Bellissima & Anna Bucalo - 1995 - Notre Dame Journal of Formal Logic 36 (4):585-594.
    A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.
    Direct download (5 more)  
    Export citation  
    Bookmark   2 citations  
  3.  38
    Topologies and Free Constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
    The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology consists of a set of subsets of a set (of points). And many of the high-level tools of set theory are required to achieve just the basic results about topological spaces. Concentrating on the mathematical structures, category theory offers the possibility to look synthetically at the structure of continuous transformations between topological spaces addressing specifically how the fundamental notions of point and open come about. As a (...)
    Direct download (7 more)  
    Export citation  
  4.  9
    Completions, Comonoids, and Topological Spaces.Anna Bucalo & Giuseppe Rosolini - 2006 - Annals of Pure and Applied Logic 137 (1-3):104-125.
    We analyse the category-theoretical structures involved with the notion of continuity within the framework of formal topology. We compare the category of basic pairs to other categories of “spaces” by means of canonically determined functors and show how the definition of continuity is determined in a certain, canonical sense. Finally, we prove a standard adjunction between the algebraic approach to spaces and the category of topological spaces.
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation