14 found
Order:
Disambiguations
Philip Scott [8]Philip J. Scott [6]Philip H. Scott [1]
  1.  8
    The Tension Between Authoritative and Dialogic Discourse: A Fundamental Characteristic of Meaning Making Interactions in High School Science Lessons.Philip H. Scott, Eduardo F. Mortimer & Orlando G. Aguiar - 2006 - Science Education 90 (4):605-631.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  20
    Category Theory for Linear Logicians.Richard Blute & Philip Scott - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  5
    Softness of Hypercoherences and MALL Full Completeness.Richard Blute, Masahiro Hamano & Philip Scott - 2005 - 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   2 citations  
  4.  30
    An Exactification of the Monoid of Primitive Recursive Functions.Joachim Lambek & Philip Scott - 2005 - 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  18
    The „Dialectica” Interpretation and Categories.Philip J. Scott - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (31-36):553-575.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  7
    A Categorical Semantics for Polarized.Masahiro Hamano & Philip Scott - 2007 - 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   1 citation  
  7.  2
    The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31‐36):553-575.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  15
    Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
  9.  14
    An Algebraic Treatment of the Barwise Compactness Theory.Isidore Fleischer & Philip Scott - 1991 - 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  
  10.  2
    Goldblatt Robert. Topoi. The Categorial Analysis of Logic. Studies in Logic and the Foundations of Mathematics, Vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Xv + 486 Pp. [REVIEW]Philip J. Scott - 1982 - Journal of Symbolic Logic 47 (2):445-448.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Goldblatt Robert. Topoi. The Categorial Analysis of Logic. Revised Edition of XLVII 445. Studies in Logic and the Foundations of Mathematics, Vol. 98. North-Holland, Amsterdam, New York, and Oxford, 1984, Xvi + 551 Pp. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.John N. Crossley & Philip J. Scott - 1989 - Annals of Pure and Applied Logic 44 (1-2):39-52.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Using a Bridging Representation and Social Interactions to Foster Conceptual Change: Designing and Evaluating an Instructional Sequence for Newton's Third Law.Antti Savinainen, Philip Scott & Jouni Viiri - 2005 - Science Education 89 (2):175-195.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. A Categorical Semantics for Polarized MALL.Masahiro Hamano & Philip Scott - 2007 - Annals of Pure and Applied Logic 145 (3):276-313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography