12 found
Order:
Disambiguations:
Philip Scott [7]Philip J. Scott [4]Philip H. Scott [1]
  1.  9
    Richard Blute & Philip Scott (2004). Category Theory for Linear Logicians. In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press 316--3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  4
    Philip J. Scott (1978). The „Dialectica” Interpretation and Categories. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (31-36):553-575.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Philip H. Scott, Eduardo F. Mortimer & Orlando G. Aguiar (2006). The Tension Between Authoritative and Dialogic Discourse: A Fundamental Characteristic of Meaning Making Interactions in High School Science Lessons. Science Education 90 (4):605-631.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  1
    Richard Blute, Masahiro Hamano & Philip Scott (2005). Softness of Hypercoherences and MALL Full Completeness. Annals of Pure and Applied Logic 131 (1-3):1-63.
    We prove a full completeness theorem for multiplicative–additive linear logic using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free proof. Our proof consists of three steps. We show:• Dinatural transformations on this category satisfy Joyal’s softness property for products and coproducts.• Softness, together with multiplicative full completeness, guarantees that (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  2
    Joachim Lambek & Philip Scott (2005). An Exactification of the Monoid of Primitive Recursive Functions. Studia Logica 81 (1):1-18.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  9
    Philip J. Scott (1986). Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW] Journal of Symbolic Logic 51 (4):1077-1078.
  7.  28
    Joachim Lambek & Philip Scott (2005). An Exactification of the Monoid of Primitive Recursive Functions. Studia Logica 81 (1):1 - 18.
    We study the monoid of primitive recursive functions and investigate a onestep construction of a kind of exact completion, which resembles that of the familiar category of modest sets, except that the partial equivalence relations which serve as objects are recursively enumerable. As usual, these constructions involve the splitting of symmetric idempotents.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  12
    Isidore Fleischer & Philip Scott (1991). An Algebraic Treatment of the Barwise Compactness Theory. Studia Logica 50 (2):217 - 223.
    A theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters which preserve countably many infinite meets (generalizing Rasiowa-Sikorski) is used to pinpoint the mechanism of the Barwise proof in a way which bypasses the set theoretical elaborations.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9. Philip J. Scott (1978). The „Dialectica”︁ Interpretation and Categories. Mathematical Logic Quarterly 24 (31‐36):553-575.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  3
    Masahiro Hamano & Philip Scott (2007). A Categorical Semantics for Polarized. Annals of Pure and Applied Logic 145 (3):276-313.
    In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    John N. Crossley & Philip J. Scott (1989). Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Annals of Pure and Applied Logic 44 (1-2):39-52.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12. Antti Savinainen, Philip Scott & Jouni Viiri (2005). Using a Bridging Representation and Social Interactions to Foster Conceptual Change: Designing and Evaluating an Instructional Sequence for Newton's Third Law. Science Education 89 (2):175-195.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography