21 found
Order:
  1. From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
    We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  2.  49
    Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
    Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  3. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   9 citations  
  4. Relational Hidden Variables and Non-Locality.Samson Abramsky - 2013 - Studia Logica 101 (2):411-452.
    We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  52
    Socially responsive, environmentally friendly logic.Samson Abramsky - 2006 - Acta Philosophica Fennica 78:17.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  6. Logical Bell Inequalities.Samson Abramsky & Lucien Hardy - 2012 - Physical Review A 85:062114-1 - 062114-11.
    Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  68
    Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
    We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  25
    Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  37
    Logical Journeys: A Scientific Autobiography.Samson Abramsky - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 1-38.
    A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  41
    A game semantics for generic polymorphism.Samson Abramsky & Radha Jagadeesan - 2005 - Annals of Pure and Applied Logic 133 (1-3):3-37.
    Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type , are equal at any given instance A[T], then they are equal at all instances. They proved that this rule is admissible in a certain extension of System F, but finding a semantically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  29
    Linear realizability and full completeness for typed lambda-calculi.Samson Abramsky & Marina Lenisa - 2005 - Annals of Pure and Applied Logic 134 (2-3):122-168.
    We present the model construction technique called Linear Realizability. It consists in building a category of Partial Equivalence Relations over a Linear Combinatory Algebra. We illustrate how it can be used to provide models, which are fully complete for various typed λ-calculi. In particular, we focus on special Linear Combinatory Algebras of partial involutions, and we present PER models over them which are fully complete, inter alia, w.r.t. the following languages and theories: the fragment of System F consisting of ML-types, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  78
    Big toy models: Representing physical systems as Chu spaces.Samson Abramsky - 2012 - Synthese 186 (3):697 - 718.
    We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  31
    Foreword.Samson Abramsky & Dan R. Ghica - 2013 - Annals of Pure and Applied Logic 164 (11):1037.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  27
    Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
    This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Logic and Categories as Tools for Building Theories.Samson Abramsky - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    Bookmark   1 citation  
  16.  22
    National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999.Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  28
    New Orleans Marriott and Sheraton New Orleans Hotels New Orleans, LA January 8–9, 2011.Jeremy Avigad, Ulrich W. Kohlenbach, Henry Towsner, Samson Abramsky, Andreas Blass, Larry Moss, Alf Onshuus Nino, Patrick Speissegger, Juris Steprans & Monica VanDieren - 2012 - Bulletin of Symbolic Logic 18 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  19
    Nijmegen, The Netherlands July 27–August 2, 2006.Rodney Downey, Ieke Moerdijk, Boban Velickovic, Samson Abramsky, Marat Arslanov, Harvey Friedman, Martin Goldstern, Ehud Hrushovski, Jochen Koenigsmann & Andy Lewis - 2007 - Bulletin of Symbolic Logic 13 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Visions of Computer Science.Erol Gelenbe, Samson Abramsky & Vladimiro Sassone (eds.) - 2008 - British Computer Society.
  20.  40
    Arrow’s Theorem by Arrow Theory. [REVIEW]Samson Abramsky - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 15-30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001: proceedings.Samson Abramsky (ed.) - 2001 - New York: Springer.
     
    Export citation  
     
    Bookmark