Switch to: Citations

Add references

You must login to add references.
  1. Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Deontic logic.Dagfinn Føllesdal & Risto Hipinen - 1976 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 4--159.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Logic of the Doubtful. On Optative and Imperative Logic.Karl Menger - 1940 - Journal of Symbolic Logic 5 (1):40-40.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • (1 other version)Mally’s deontic logic.Gert-Jan Lokhorst - 2004 - Grazer Philosophische Studien.
    In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.
    Download  
     
    Export citation  
     
    Bookmark   6 citations