12 found
Order:
Disambiguations
Philip Scott [6]Philip J. Scott [6]Philip H. Scott [1]
  1.  15
    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  
     
    Bookmark   10 citations  
  2.  27
    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.
  3.  15
    A Categorical Semantics for Polarized MALL.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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  25
    The „Dialectica” Interpretation and Categories.Philip J. Scott - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (31-36):553-575.
  5.  34
    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  
     
    Bookmark  
  6.  10
    The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31‐36):553-575.
  7.  19
    Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
  8.  11
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  27
    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  
     
    Bookmark  
  10.  6
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    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.
  12.  4
    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 (4 more)  
     
    Export citation  
     
    Bookmark