Order:
  1.  54
    A Non-Classical Logic for Physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.
  2.  27
    A Game-Based Formal System for Ł∞.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49-73.
    A formal system for , based on a game-theoretic analysis of the ukasiewicz prepositional connectives, is defined and proved to be complete. An Herbrand theorem for the predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  61
    The Concept of a Proposition in Classical and Quantum Physics.Robin Giles - 1979 - Studia Logica 38 (4):337 - 353.
    A proposition is associated in classical mechanics with a subset of phase space, in quantum logic with a projection in Hilbert space, and in both cases with a 2-valued observable or test. A theoretical statement typically assigns a probability to such a pure test. However, since a pure test is an idealization not realizable experimentally, it is necessary — to give such a statement a practical meaning — to describe how it can be approximated by feasible tests. This gives rise (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  58
    A Generalization of the Theory of Subjective Probability and Expected Utility.Robin Giles - 1992 - Synthese 90 (2):301 - 343.
    A generalization of the usual approach to the expected utility theory is given, with the aim of representing the state of belief of an agent who may decline on grounds of ignorance to express a preference between a given pair of acts and would, therefore, be considered irrational from a Bayesian point of view. Taking state, act, and outcome as primitive concepts, a utility function on the outcomes is constructed in the usual way. Each act is represented by a utility-valued (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Introduction to a Logic of Assertions.Robin Giles - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 361--385.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  8
    A Game-Based Formal System for Ł ${}_{\Infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.
    A formal system for Ł ${}_{\infty}$ , based on a "game-theoretic" analysis of the Łukasiewicz propositional connectives, is defined and proved to be complete. An "Herbrand theorem" for the Ł ${}_{\infty}$ predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark