10 found
Sort by:
Disambiguations:
Philip Scott [6]Philip J. Scott [3]Philip H. Scott [1]
  1. Masahiro Hamano & Philip Scott (2007). A Categorical Semantics for Polarized. Annals of Pure and Applied Logic 145 (3):276-313.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  3. 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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. Richard Blute & Philip Scott (2004). Category Theory for Linear Logicians. In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. 316--3.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. Philip J. Scott (1986). Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW] Journal of Symbolic Logic 51 (4):1077-1078.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Philip J. Scott (1978). The „Dialectica”︁ Interpretation and Categories. Mathematical Logic Quarterly 24 (31‐36):553-575.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation